1059 search results - page 122 / 212 » Modeling Security Protocols as Games |
ACISP
2010
Springer
15 years 2 months ago
2010
Springer
To reduce the damage of phishing and spyware attacks, banks, governments, and other security-sensitive industries are deploying one-time password systems, where users have many pa...
117
click to vote
ASIACRYPT
2001
Springer
15 years 4 months ago
2001
Springer
Dynamic group Diffie-Hellman protocols for Authenticated Key Exchange (AKE) are designed to work in a scenario in which the group membership is not known in advance but where parti...
110
click to vote
IJISEC
2006
15 years 17 days ago
2006
Abstract Privacy has become a factor of increasing importance in auction design. We propose general techniques for cryptographic first-price and (M + 1)st-price auction protocols t...
108
click to vote
FAC
2008
15 years 19 days ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
167
click to vote
DSN
2011
IEEE
14 years 11 days ago
2011
IEEE
—Virtual coordinate systems provide an accurate and efficient service that allows hosts on the Internet to determine latency to arbitrary hosts based on information provided by ...