1777 search results - page 54 / 356 » Programming Cryptographic Protocols |
ERLANG
2008
ACM
15 years 3 months ago
2008
ACM
IFIP
2010
Springer
14 years 8 months ago
2010
Springer
110
click to vote
IFIP
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We formally study two privacy-type properties in online auction protocols, bidding-price-secrecy and receipt-freeness. These properties are formalised as observational eq...
118
click to vote
ACSAC
2000
IEEE
15 years 5 months ago
2000
IEEE
We present a new commerce protocol that allows customers and merchants to conduct face-to-face creditcard authorizations with a credit card company securely with the option of ano...
113
click to vote
CSFW
1998
IEEE
15 years 5 months ago
1998
IEEE
Model checkers such as FDR have been extremely e ective in checking for, and nding, attacks on cryptographic protocols { see, for example 11, 12, 14] and many of the papers in 3]....