Sort by: Order: Results:

Now showing items 1-1 of 1

  • 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 ...