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
Geprüft | Bibliothek |