Tools for model-based security engineering: models vs. code


We present tools to support model-based security engineering at both the model and the code level. In the approach supported by these tools, one firstly specifies the security-critical part of the system (e.g. a crypto protocol) using the UML security extension UMLsec. The models are automatically verified for security properties using automated theorem… (More)
DOI: 10.1145/1321631.1321736


1 Figure or Table