The top documents tagged [complex protocols kerberos]

Computationally Sound Mechanized Proofs of Basic and Public-key Kerberos FormaCrypt meeting, Nov. 30, 2007 B. Blanchet 1, A. D. Jaggard 2, A. Scedrov 3,

Computationally Sound Mechanized Proofs of Basic and Public-key Kerberos FormaCrypt meeting, Nov. 30, 2007 B. Blanchet 1, A. D. Jaggard 2, A. Scedrov 3,

216 views
Computationally Sound Mechanized Proofs of Basic and Public-key Kerberos

Computationally Sound Mechanized Proofs of Basic and Public-key Kerberos

33 views
Languages
Pages
Legal

Copyright © 2022 FDOCUMENTS