297 search results - page 2 / 60 » Formal Analysis of a Non-Repudiation Protocol |
TACAS
2012
Springer
12 years 27 days ago
2012
Springer
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
CSFW
2012
IEEE
11 years 7 months ago
2012
IEEE
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...
ACSW
2006
13 years 6 months ago
2006
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...
SP
2008
IEEE
13 years 11 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, ...
FC
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. A multi-party fair exchange protocol is a cryptographic protocol allowing several parties to exchange commodities in such a way that everyone gives an item away if and on...