The top documents tagged [computational sound]

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

27 views
Languages
Pages
Legal

Copyright © 2022 FDOCUMENTS