DOCUMENT RESOURCES FOR EVERYONE
Documents tagged
Documents Proof Methods for an MSR Analysis of Kerberos 5 Frederick Butler, Iliano Cervesato, Aaron D....

Slide 1 Proof Methods for an MSR Analysis of Kerberos 5 Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, and Andre Scedrov Supported by ONR URI Slide 2 Kerberos Project…