3751 search results - page 11 / 751 » Events in security protocols |
126
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, ...
ACISP
2009
Springer
15 years 9 months ago
2009
Springer
CSFW
2008
IEEE
15 years 9 months ago
2008
IEEE
CSFW
2007
IEEE
15 years 9 months ago
2007
IEEE