1777 search results - page 54 / 356 » Programming Cryptographic Protocols |
ERLANG
2008
ACM
13 years 10 months ago
2008
ACM
IFIP
2010
Springer
13 years 3 months ago
2010
Springer
IFIP
2010
Springer
13 years 3 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...
ACSAC
2000
IEEE
14 years 1 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...
CSFW
1998
IEEE
14 years 29 days 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]....