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