Tamarin files for master's thesis "Modeling and Analysis of the SCION Dataplane in Tamarin"

Download
Tamarin_files-Modeling_and_Analysis_of_the_SCION_Dataplane_in_Tamarin.zip (ZIP, 4.958Mb) Preview Content
Thumbnail
Open access
Creator
Frankovska, Zuzana
Date
2021-03-25
Type
    Dataset
Rights / license
In Copyright - Non-Commercial Use Permitted
Abstract
This archive contains Tamarin theory files and their proofs for the master's thesis "Modeling and Analysis of the SCION Dataplane in Tamarin" by Zuzana Frankovska. The files are referred to in chapters 6 and 9.
Permanent link
https://doi.org/10.3929/ethz-b-000476188
Contributors
Contact person: Frankovska, Zuzana
Publisher
ETH Zurich
Organisational unit
03634 - Basin, David / Basin, David
More
Show all metadata
ETH Bibliography
yes
Altmetrics