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 (Lecture Notes in Computer Science)
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 |
