3751 search results - page 11 / 751 » Events in security protocols |
208
click to vote
SP
2008
IEEE
16 years 1 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, ...
143
Voted
ACISP
2009
Springer
16 years 2 months ago
2009
Springer
158
Voted
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE