About models of security protocols
Hubert Comon-Lundh · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 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.