Starten Sie Ihre Suche...


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

Modelling and Verification of Layered Security Protocols: A Bank Application

Stuart Anderson; Massimo Felici; Bev Littlewood (Hrsg). Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003. Proceedings. Berlin: Springer 2003 S. 116 - 129

Erscheinungsjahr: 2003

ISBN/ISSN: 978-3-540-20126-7

Publikationstyp: Diverses (Konferenzbeitrag)

Sprache: Englisch

Doi/URN: 10.1007/978-3-540-39878-3_10

Volltext über DOI/URN

GeprüftBibliothek

Autoren


Grünbauer, Johannes (Autor)
Hollmann, Helia (Autor)
Wimmel, Guido (Autor)

Verknüpfte Personen