Defining Authentication in a Trace Model

  title={Defining Authentication in a Trace Model},
  author={Cas J. F. Cremers and Sjouke Mauw and Erik P. de Vink},
In this paper we define a general trace model for security protocols which allows to reason about various formal definitions of authentication. In the model, we define a strong form of authentication which we call synchronization. We present both an injective and a noninjective version. We relate synchronization to a formulation of agreement in our trace model and contribute to the discussion on intensional vs. extensional specifications. 
Highly Cited
This paper has 27 citations. REVIEW CITATIONS

Similar Papers

Loading similar papers…