Sciweavers

IFIP
2010
Springer

Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus

13 years 6 months ago
Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus
Abstract. We formally study two privacy-type properties in online auction protocols, bidding-price-secrecy and receipt-freeness. These properties are formalised as observational equivalences in the applied calculus. We analyse the receipt-free auction protocol by Abe and Suzuki. Bidding-price-secrecy of the protocol is verified using ProVerif, whereas receipt-freeness of the protocol is proved manually.
Naipeng Dong, Hugo L. Jonker, Jun Pang
Added 18 May 2011
Updated 18 May 2011
Type Journal
Year 2010
Where IFIP
Authors Naipeng Dong, Hugo L. Jonker, Jun Pang
Comments (0)