Verification and Modelling of Authentication Protocols.

Ralf C. Hauser, E. Stewart Lee

Browse the full ESORICS paper archive.