1777 search results - page 163 / 356 » Programming Cryptographic Protocols |
183
click to vote
CTRSA
2010
Springer
16 years 26 days 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 ...
157
click to vote
CSFW
2009
IEEE
16 years 23 days 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...
188
click to vote
CRYPTO
2007
Springer
16 years 6 days 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...
146
Voted
EGOV
2007
Springer
16 years 5 days 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...
150
click to vote
IPSN
2007
Springer
16 years 5 days 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...