Security protocols, properties, and their monitoring
Bart De Win; Seok-Won Lee; Mattia Monga (Hrsg). Proceedings of the 4th International Workshop on Software Engineering for Secure Systems SESS 2008 held at the Thirteenth International Conference on Software Engineering ICSE 2008: May 10-18, 2008; Leipzig, Germany. New York, NY: ACM Association for Computing Machinery 2008 S. 33 - 40
Erscheinungsjahr: 2008
ISBN/ISSN: 978-1-60558-042-5
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1145/1370905.1370910
| Geprüft | Bibliothek |
