Developing High-Assurance Secure Systems with UML: A Smartcard-Based Purchase Protocol.
HASE. 2004 S. 231 - 240
Erscheinungsjahr: 2004
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
HASE. 2004 S. 231 - 240
Erscheinungsjahr: 2004
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |