Kerberos version IV: Inductive analysis of the secrecy goals (1998)

by Giampaolo Bella , Lawrence C Paulson
Venue:Computer Security — ESORICS 98, LNCS 1485
Citations:73 - 27 self