Model-based security engineering for real

Authors:
Jan Jürjens
Affiliations:
Software & Systems Engineering, Dep. of Informatics, TU Munich, Germany
Venue:
FM'06 Proceedings of the 14th international conference on Formal Methods
Year:
2006

Citing 9
Cited 1

Formal methods: state of the art and future directions

ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Software engineering for security: a roadmap

Proceedings of the Conference on The Future of Software Engineering
The inductive approach to verifying cryptographic protocols

Journal of Computer Security
UMLsec: Extending UML for Secure Systems Development

UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
How Did Software Get So Reliable Without Proof?

FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Sound methods and effective tools for model-based security engineering with UML

Proceedings of the 27th international conference on Software engineering
Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers

ACSAC '05 Proceedings of the 21st Annual Computer Security Applications Conference
Security Analysis of Crypto-based Java Programs using Automated Theorem Provers

ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Secure Systems Development with UML

Secure Systems Development with UML

Model-based security analysis for mobile communications

Proceedings of the 30th international conference on Software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

We give an overview over a soundly based secure software engineering methodology and associated tool-support developed over the last few years under the name of Model-based Security Engineering (MBSE). We focus in particular on applications in industry.