5324 search results - page 52 / 1065 » Internet Security Protocols |
CCS
2004
ACM
14 years 1 months ago
2004
ACM
CSFW
1997
IEEE
13 years 12 months ago
1997
IEEE
CSFW
1997
IEEE
13 years 12 months ago
1997
IEEE
CSFW
1996
IEEE
13 years 12 months ago
1996
IEEE
SP
2008
IEEE
14 years 2 months ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...