Automated reasoning for security protocol analysis

Download
Full text (published Version) (PDF, 43.11Kb)
Thumbnail
Open access
Autor(in)
Armando, Alessandro
Basin, David
Cuellar, Jorge
Rusinowitch, Michaël
Viganò, Luca
Alle anzeigen
Datum
2006-01
Typ
    Journal Article
Rechte / Lizenz
In Copyright - Non-Commercial Use Permitted
Persistenter Link
https://doi.org/10.3929/ethz-b-000001046
Publikationsstatus
published
Externe Links
Zeitschrift / Serie
Journal of Automated Reasoning
Band
36(1-2)
Seiten / Artikelnummer
1 - 3
Verlag
Springer
Konferenz
The Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA'05), Lisboa, Portugal, July 16, 2005
Organisationseinheit
03634 - Basin, David / Basin, David  
Anmerkungen
Published online 8 December 2005. It was possible to publish this article open access thanks to a Swiss National Licence with the publisher
Mehr
Alle Metadaten anzeigen
ETH Bibliographie
yes
Altmetrics