@inproceedings{444911935ef44da9b37b584629df1476,
title = "Analyzing an electronic cash protocol using applied pi calculus",
abstract = "Untraceability and unreuseability are essential security properties for electronic cash protocols. Many protocols have been proposed to meet these two properties. However, most of them have not been formally proved to be untraceable and unreuseable. In this paper we propose to use the applied pi calculus as a framework for describing and analyzing electronic cash protocols, and we analyze Ferguson's electronic cash protocol as a case study. We believe that this approach is suitable for many different electronic cash protocols.",
author = "Zhengqin Luo and Xiaojuan Cai and Jun Pang and Yuxin Deng",
year = "2007",
doi = "10.1007/978-3-540-72738-5\_6",
language = "英语",
isbn = "9783540727378",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "87--103",
booktitle = "Applied Cryptography and Network Security - 5th International Conference, ACNS 2007, Proceedings",
address = "德国",
note = "5th International Conference on Applied Cryptography and Network Security, ACNS 2007 ; Conference date: 05-06-2007 Through 08-06-2007",
}