Kerberos Version 4: Inductive Analysis of the Secrecy Goals.

Giampaolo Bella, Lawrence C. Paulson

Browse the full ESORICS paper archive.