Formal Semantics for Authentication Logics.

Gabriele Wedel, Volker Kessler

Browse the full ESORICS paper archive.