5324 search results - page 52 / 1065 » Internet Security Protocols |
CCS
2004
ACM
15 years 8 months ago
2004
ACM
CSFW
1997
IEEE
15 years 7 months ago
1997
IEEE
124
click to vote
SP
2008
IEEE
15 years 9 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, ...