Tamarin files for master's thesis "Modeling and Analysis of the SCION Dataplane in Tamarin"
Loading...
Author / Producer
Date
2021-03-25
Publication Type
Dataset
ETH Bibliography
yes
Citations
Altmetric
Data
Rights / License
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
Publication status
External links
Editor
Contributors
Contact person : Frankovska, Zuzana
Project leader: Basin, David
Book title
Journal / series
Volume
Pages / Article No.
Publisher
ETH Zurich
Event
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
Organisational unit
03634 - Basin, David / Basin, David
Notes
Funding
Related publications and datasets
Is supplement to: https://doi.org/10.3929/ethz-b-000477332