1777 search results - page 54 / 356 » Programming Cryptographic Protocols |
IFIP
2010
Springer
15 years 25 days ago
2010
Springer
161
click to vote
IFIP
2010
Springer
15 years 25 days 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...
167
click to vote
ACSAC
2000
IEEE
15 years 10 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...
162
click to vote
CSFW
1998
IEEE
15 years 10 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]....