Browsing Computer Science by Sponsor "German Federal Ministry of Education, Science, Research and Technology (BMBF)"

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