Document Open Access Logo

About models of security protocols

Author Hubert Comon-Lundh

Thumbnail PDF


  • Filesize: 427 kB
  • 5 pages

Document Identifiers

Author Details

Hubert Comon-Lundh

Cite AsGet BibTex

Hubert Comon-Lundh. About models of security protocols. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Leibniz International Proceedings in Informatics (LIPIcs), Volume 2, pp. 352-356, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2008)


In this paper, mostly consisting of definitions, we revisit the models of security protocols: we show that the symbolic and the computational models (as well as others) are instances of a same generic model. Our definitions are also parametrized by the security primitives, the notion of attacker and, to some extent, the process calculus.
  • Protocols
  • security
  • concurrency
  • formal methods


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail