Browsing by Author "JUERJENS, JAN"
Now showing items 1-1 of 1
- Sort by:
- title
- issue date
- submit date
- Order:
- ascending
- descending
- Results:
- 5
- 10
- 20
- 40
- 60
- 80
- 100
-
Tools for model-based security engineering
JUERJENS, JAN; FOX, JORGE (ACM, 2006)We present tool-support for checking UML models and C code against security requirements. A framework supports implementing verification routines, based on XMI output of the diagrams from UML CASE tools, and on control ...