@article{f242f0d628794b909d5076cac158ef91,
title = "Formal modelling and analysis of receipt-free auction protocols in applied pi",
keywords = "E-auction, Security protocol, Formal verification, Bidding-price-secrecy, Receipt-freeness, SECURITY PROTOCOLS, VERIFICATION, CALCULUS, SECRECY",
author = "Naipeng Dong and Hugo Jonker and Jun Pang",
year = "2017",
month = mar,
doi = "10.1016/j.cose.2016.09.002",
language = "English",
volume = "65",
pages = "405--432",
journal = "Computers & Security",
issn = "0167-4048",
publisher = "Elsevier Advanced Technology",
}