Tools for secure systems development with UML: security analysis with ATPs

Authors:
Jan Jürjens;Pasha Shabalin
Affiliations:
Software & Systems Engineering, Dep. of Informatics, TU Munich, Germany;Software & Systems Engineering, Dep. of Informatics, TU Munich, Germany
Venue:
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Year:
2005

Citing 3
Cited 1

Sound methods and effective tools for model-based security engineering with UML

Proceedings of the 27th international conference on Software engineering
Formalising UML state machines for model checking

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Secure Systems Development with UML

Secure Systems Development with UML

Model-Based security engineering with UML

Foundations of Security Analysis and Design III

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present tool-support for checking the security requirements associated with UMLsec stereotypes. A framework supports implementing verification routines, based on XMI output of the diagrams from UML CASE tools. Advanced users of the UMLsec approach can use this open-source framework to implement verification routines for the constraints of self-defined stereotypes. We focus on a verification routine that automatically verifies sequence diagrams with cryptographic algorithms for security requirements by using automated theorem provers.