On the semantics of Alice&Bob specifications of security protocols

@article{Caleiro2006OnTS,
  title={On the semantics of Alice&Bob specifications of security protocols},
  author={Carlos Caleiro and Luca Vigan{\`o} and David A. Basin},
  journal={Theor. Comput. Sci.},
  year={2006},
  volume={367},
  pages={88-122}
}
In the context of security protocols, the so-called Alice&Bob notation is often used to describe the messages exchanged between honest principals in successful protocol runs. While intuitive, this notation is ambiguous in its description of the actions taken by principals, in particular with respect to the conditions they must check when executing their roles and the actions they must take when the checks fail. In this paper, we investigate the semantics of protocol specifications in Alice&Bob… CONTINUE READING
Highly Cited
This paper has 42 citations. REVIEW CITATIONS