Show simple item record

dc.contributor.author
Frankovska, Zuzana
dc.contributor.contactPerson
Frankovska, Zuzana
dc.contributor.projectLeader
Basin, David
dc.date.accessioned
2021-05-18T08:51:31Z
dc.date.available
2021-03-24T20:21:38Z
dc.date.available
2021-03-26T09:12:08Z
dc.date.available
2021-05-18T08:51:31Z
dc.date.issued
2021-03-25
dc.identifier.uri
http://hdl.handle.net/20.500.11850/476190
dc.identifier.doi
10.3929/ethz-b-000476190
dc.description.abstract
This archive contains infrastructure for generating Tamarin theory files modeling various dataplane protocols. It was created for the master's thesis "Modeling and Analysis of the SCION Dataplane in Tamarin" by Zuzana Frankovska.
en_US
dc.format
application/zip
en_US
dc.format
text/plain
en_US
dc.language.iso
en
en_US
dc.publisher
ETH Zurich
en_US
dc.rights.uri
http://rightsstatements.org/page/InC-NC/1.0/
dc.title
Infrastructure for generating Tamarin files for modeling dataplane protocols
en_US
dc.type
Dataset
dc.rights.license
In Copyright - Non-Commercial Use Permitted
dc.date.published
2025-03-26
ethz.size
0.07 MB
en_US
ethz.publication.place
Zurich
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
en_US
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
en_US
ethz.date.retentionend
15 years
en_US
ethz.date.retentionendDate
n/a
ethz.date.deposited
2021-03-24T20:22:00Z
ethz.source
FORM
ethz.eth
yes
en_US
ethz.availability
Open access
en_US
ethz.rosetta.installDate
2021-03-26T09:12:22Z
ethz.rosetta.lastUpdated
2022-03-29T07:34:13Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Infrastructure%20for%20generating%20Tamarin%20files%20for%20modeling%20dataplane%20protocols&rft.date=2021-03-25&rft.au=Frankovska,%20Zuzana&rft.genre=unknown&rft.btitle=Infrastructure%20for%20generating%20Tamarin%20files%20for%20modeling%20dataplane%20protocols
 Search print copy at ETH Library

Files in this item

Thumbnail

Publication type

Show simple item record