Automated Analysis of Cryptographic Protocols Using Murphi (1997)
by
John C. Mitchell
,
Mark Mitchell
,
Ulrich Stern
| Citations: | 245 - 23 self |







