Mechanising BAN Kerberos by the Inductive Method.

Giampaolo Bella, Lawrence C. Paulson

Browse the full CAV paper archive.