Deconstructing Alice and Bob

Thumbnail
Metadata only
Autor(in)
Caleiro, Carlos
Vigano, Luca
Basin, David
Datum
2005-07
Typ
    Conference Paper
Publikationsstatus
published
Externe Links
Zeitschrift / Serie
Electronic notes in theoretical computer science
Band
135(1)
Seiten / Artikelnummer
3 - 22
Verlag
Elsevier
Konferenz
Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005), Lisbon, Portugal, July 16, 2005
Thema
Security protocols; Protocol models; Alice and Bob notation; Control flow; Message forwarding; Protocol abortion
Organisationseinheit
03634 - Basin, David / Basin, David  
Mehr
Alle Metadaten anzeigen
ETH Bibliographie
yes
Altmetrics