UMLsec

Results: 2



#Item
1Formalizing Information Flow Control in a Model-Driven Approach? Kurt Stenzel, Kuzman Katkalov, Marian Borek, and Wolfgang Reif Institute for Software & Systems Engineering, Augsburg University, Germany

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, Germany

Add to Reading List

Source URL: www.isse.uni-augsburg.de

Language: English - Date: 2014-12-01 09:13:15
2Automated 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/˜shabalin

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/˜shabalin

Add to Reading List

Source URL: www.verisoft.de

Language: English - Date: 2013-04-11 05:48:57