Starten Sie Ihre Suche...


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

Formally-Based Black-Box Monitoring of Security Protocols

Fabio Massacci;Dan Wallach;Nicola Zannone (Hrsg). Engineering Secure Software and Systems: Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings. Berlin: Springer 2010 S. 79 - 95 (Lecture Notes in Computer Science)

Erscheinungsjahr: 2010

ISBN/ISSN: 978-3-642-11746-6

Publikationstyp: Diverses (Konferenzbeitrag)

Sprache: Englisch

Doi/URN: 10.1007/978-3-642-11747-3_7

Volltext über DOI/URN

GeprüftBibliothek

Autoren


Pironti, Alfredo (Autor)

Verknüpfte Personen