Automated Verification of UMLsec Models for Security Requirements
Thomas Baar;Alfred Strohmeier;Ana Moreira;Stephen J. Mellor (Hrsg). «UML» 2004 - The Unified Modeling Language. Modeling Languages and Applications: 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings. Berlin: Springer 2004 S. 365 - 379 (Lecture Notes in Computer Science)
Erscheinungsjahr: 2004
ISBN/ISSN: 978-3-540-23307-7
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-540-30187-5_26
| Geprüft | Bibliothek |
