DMCA

Using Isabelle to Prove Properties of the Kerberos Authentication System (1997)

by Giampaolo Bella , Lawrence C Paulson
Venue:In Proc. of Workshop on Design and Formal Verification of Security Protocols, Orman and Meadows (eds.), DIMACS
Citations:29 - 3 self