An automated formal analysis of the security of the internet key exchange (IKE) protocol in the presence of compromising adversaries

Download
Text (PDF, 874.1Kb)
Thumbnail
Open access
Autor(in)
Kyburz, Adrian
Datum
2010
Typ
    Master Thesis
Rechte / Lizenz
In Copyright - Non-Commercial Use Permitted
Persistenter Link
https://doi.org/10.3929/ethz-a-006250423
Publikationsstatus
published
Externe Links
Suchen via swisscovery
Verlag
Swiss Federal Institute of Technology Zurich, Department of Computer Science
Thema
NETZWERKPROTOKOLLE + KOMMUNIKATIONSPROTOKOLLE (COMPUTERSYSTEME); INTERNET + WORLD WIDE WEB (COMPUTERSYSTEME); DATENSICHERHEIT + DATENSCHUTZ (BETRIEBSSYSTEME); NETWORK PROTOCOLS + COMMUNICATION PROTOCOLS (COMPUTER SYSTEMS); INTERNET + WORLD WIDE WEB (COMPUTER SYSTEMS); DATA SECURITY + DATA PROTECTION (OPERATING SYSTEMS)
Organisationseinheit
02150 - Dep. Informatik / Dep. of Computer Science
Anmerkungen
Master Thesis ETH Zürich, 2010.
Mehr
Alle Metadaten anzeigen
ETH Bibliographie
yes
Altmetrics