3751 search results - page 11 / 751 » Events in security protocols |
169
click to vote
SP
2008
IEEE
16 years 7 days 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, ...