%0 Conference Paper %1 conf/ifip1-7/DongJP10 %A Dong, Naipeng %A Jonker, Hugo L. %A Pang, Jun %B Formal Aspects in Security and Trust %D 2010 %E Degano, Pierpaolo %E Etalle, Sandro %E Guttman, Joshua D. %I Springer %K dblp %P 223-238 %T Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus. %U http://dblp.uni-trier.de/db/conf/ifip1-7/fast2010.html#DongJP10 %V 6561 %@ 978-3-642-19750-5

@inproceedings{conf/ifip1-7/DongJP10, added-at = {2022-04-09T00:00:00.000+0200}, author = {Dong, Naipeng and Jonker, Hugo L. and Pang, Jun}, biburl = {https://www.bibsonomy.org/bibtex/2eb53ab0babf06747c4f6551cadad7559/dblp}, booktitle = {Formal Aspects in Security and Trust}, crossref = {conf/ifip1-7/2010}, editor = {Degano, Pierpaolo and Etalle, Sandro and Guttman, Joshua D.}, ee = {https://doi.org/10.1007/978-3-642-19751-2_15}, interhash = {be8ff2cfe0a07d6b65f1a4f2ff55f55e}, intrahash = {eb53ab0babf06747c4f6551cadad7559}, isbn = {978-3-642-19750-5}, keywords = {dblp}, pages = {223-238}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T12:17:09.000+0200}, title = {Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus.}, url = {http://dblp.uni-trier.de/db/conf/ifip1-7/fast2010.html#DongJP10}, volume = 6561, year = 2010 }