1777 search results - page 163 / 356 » Programming Cryptographic Protocols |
128
click to vote
CTRSA
2010
Springer
15 years 8 months ago
2010
Springer
Fairly exchanging digital content is an everyday problem. It has been shown that fair exchange cannot be done without a trusted third party (called the Arbiter). Yet, even with a ...
108
click to vote
CSFW
2009
IEEE
15 years 8 months ago
2009
IEEE
—Formal methods have proved their usefulness for analyzing the security of protocols. Most existing results focus on trace properties like secrecy (expressed as a reachability pr...
132
click to vote
CRYPTO
2007
Springer
15 years 7 months ago
2007
Springer
Round complexity is a central measure of efficiency, and characterizing the round complexity of various cryptographic tasks is of both theoretical and practical importance. We show...
EGOV
2007
Springer
15 years 7 months ago
2007
Springer
eVoting is a challenging approach for increasing eParticipation. However, lack of citizens’ trust seems to be a main obstacle that hinders its successful realization. In this pap...
105
click to vote
IPSN
2007
Springer
15 years 7 months ago
2007
Springer
Secure sensor network communication protocols need to provide three basic properties: data secrecy, authentication, and replay protection. Secure sensor network link layer protoco...