1059 search results - page 122 / 212 » Modeling Security Protocols as Games |
122
Voted
ACISP
2010
Springer
15 years 5 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...
144
Voted
ASIACRYPT
2001
Springer
15 years 7 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...
134
Voted
IJISEC
2006
15 years 3 months 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...
132
Voted
FAC
2008
15 years 3 months 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...
195
Voted
DSN
2011
IEEE
14 years 3 months 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 ...