Browsing RSS Feeds 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
(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 ...