Deconstructing Alice and Bob

Thumbnail
Metadata only
Author
Caleiro, Carlos
Vigano, Luca
Basin, David
Date
2005-07
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Journal / series
Electronic notes in theoretical computer science
Volume
135(1)
Pages
3 - 22
Publisher
Elsevier
Event
Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005), Lisbon, Portugal, July 16, 2005
Subject
Security protocols; Protocol models; Alice and Bob notation; Control flow; Message forwarding; Protocol abortion
Organisational unit
03634 - Basin, David
Notes
.
More
Show all metadata
Altmetrics