Sciweavers

14850 search results - page 216 / 2970
» The Security of
Sort
View
CCS
2008
ACM
15 years 9 months ago
Computationally sound mechanized proofs for basic and public-key Kerberos
Bruno Blanchet, Aaron D. Jaggard, Andre Scedrov, J...
CCS
2008
ACM
15 years 9 months ago
PEREA: towards practical TTP-free revocation in anonymous authentication
Patrick P. Tsang, Man Ho Au, Apu Kapadia, Sean W. ...
CCS
2008
ACM
15 years 9 months ago
Remote attestation on program execution
Liang Gu, Xuhua Ding, Robert Huijie Deng, Bing Xie...
ACISP
2008
Springer
15 years 9 months ago
Efficient One-Round Key Exchange in the Standard Model
We consider one-round key exchange protocols secure in the standard model. The security analysis uses the powerful security model of Canetti and Krawczyk and a natural extension of...
Colin Boyd, Yvonne Cliff, Juan Manuel Gonzá...