Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Developing High-Assurance Secure Systems with UML: A Smartcard-Based Purchase Protocol.

HASE. 2004 S. 231 - 240

Erscheinungsjahr: 2004

Publikationstyp: Zeitschriftenaufsatz

GeprüftBibliothek

Autoren

Jürjens, Jan (Autor)

Verknüpfte Personen

Jan Jürjens

Beteiligte Einrichtungen

Logo Institut für Softwaretechnik