About  models of security protocols

Comon-Lundh, Hubert

doi:10.4230/LIPIcs.FSTTCS.2008.1766

Document

About models of security protocols

Author Hubert Comon-Lundh

Part of: Volume: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2008)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
Publication Date: 2008-12-05

PDF

File

PDF

LIPIcs.FSTTCS.2008.1766.pdf

Filesize: 427 kB
5 pages

Document Identifiers

DOI: 10.4230/LIPIcs.FSTTCS.2008.1766
URN: urn:nbn:de:0030-drops-17662

Subject Classification

Keywords

Protocols
security
concurrency
formal methods

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

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.

Cite As Get 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) https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1766

Author Details

Hubert Comon-Lundh

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