82 search results - page 7 / 17 » ifip 2010 |
IFIP
2010
Springer
15 years 2 months ago
2010
Springer
77
Voted
IFIP
2010
Springer
15 years 2 months ago
2010
Springer
138
click to vote
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
We introduce and give formal definitions of attack
136
click to vote
IFIP
2010
Springer
14 years 10 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...