Sciweavers

CCS
2008
ACM

Computationally sound mechanized proofs for basic and public-key Kerberos

14 years 24 days ago
Computationally sound mechanized proofs for basic and public-key Kerberos
Bruno Blanchet, Aaron D. Jaggard, Andre Scedrov, J
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2008
Where CCS
Authors Bruno Blanchet, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay
Comments (0)