UMLsec

Results: 2



#Item
1Models of computation / Software engineering / Data modeling / Theoretical computer science / Systems engineering / Model-driven architecture / Finite-state machine / UML state machine / UMLsec / Unified Modeling Language / Automata theory / Digital electronics

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
2Software / Systems Modeling Language / UML diagrams / Knowledge representation / XML Metadata Interchange / Stereotype / Diagram / Class diagram / Model checking / Unified Modeling Language / ISO standards / Data modeling

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
UPDATE