Efficient Interactive Construction of Machine-Checked Protocol Security Proofs in the Context of Dynamically Compromising Adversaries

Download
Text (PDF, 734.5Kb)
Thumbnail
Open access
Author
Schaub, Martin
Date
2011
Type
    Master Thesis
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-a-006450686
Publication status
published
Publisher
Eidgenössische Technische Hochschule Zürich, Departement Informatik
Subject
NETZWERKPROTOKOLLE + KOMMUNIKATIONSPROTOKOLLE (COMPUTERSYSTEME); VERIFIKATION (SOFTWARE ENGINEERING); DATENSICHERHEIT + DATENSCHUTZ (BETRIEBSSYSTEME); NETWORK PROTOCOLS + COMMUNICATION PROTOCOLS (COMPUTER SYSTEMS); VERIFICATION (SOFTWARE ENGINEERING); DATA SECURITY + DATA PROTECTION (OPERATING SYSTEMS)
Organisational unit
02150 - Dep. Informatik / Dep. of Computer Science
Notes
Master thesis, Swiss Federal Institute of Technology, 2011.
More
Show all metadata
ETH Bibliography
yes
Altmetrics