AUTLOG - An Advanced Logic of Authentication. - Volker Kessler; Gabriele Wedel (CSFW, 1994)

Formal Semantics for Authentication Logics. - Gabriele Wedel; Volker Kessler (ESORICS, 1996)