Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus.
N. Dong, H. Jonker, and J. Pang. Formal Aspects in Security and Trust, volume 6561 of Lecture Notes in Computer Science, page 223-238. Springer, (2010)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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 = {2019-08-31T00:00:00.000+0200},
author = {Dong, Naipeng and Jonker, Hugo L. and Pang, Jun},
biburl = {https://puma.ub.uni-stuttgart.de/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 = {2019-09-27T18:26:06.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
}