Giampaolo__Bella
Formal Analysis of the Kerberos Authentication System
Formal verification of cardholder registration in SET
Kerberos version IV: Inductive analysis of the secrecy goals
Mechanical proofs about a non-repudiation protocol
Modelling Security Protocols Based on Smart Cards
Using Isabelle to Prove Properties of the Kerberos Authentication System
Verifying second-level security protocols
Verifying the SET purchase protocols
Verifying the SET registration protocols