UMLsec
Results: 2
# | Item |
---|---|
1![]() | Formalizing Information Flow Control in a Model-Driven Approach? Kurt Stenzel, Kuzman Katkalov, Marian Borek, and Wolfgang Reif Institute for Software & Systems Engineering, Augsburg University, GermanyAdd to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2014-12-01 09:13:15 |
2![]() | Automated Verification of UMLsec Models for Security Requirements Jan J¨ urjens? and Pasha Shabalin Software & Systems Engineering, TU Munich, Germany http://www4.in.tum.de/˜juerjens, http://www4.in.tum.de/˜shabalinAdd to Reading ListSource URL: www.verisoft.deLanguage: English - Date: 2013-04-11 05:48:57 |