@inproceedings{0aae9e1399604d5ba78091e28655b468,
title = "A simpler framework based on the applied pi calculus and its application to electronic cash protocol",
abstract = "We present a framework for describing and analyzing security protocols. It simplifies the applied pi calculus of Abadi and Fournet by moving away the infinite processes and the capability of transmitting channels in order to make the framework fit for describing practical protocols. An alternative operational semantics is given to make the framework more efficient when analyzing protocols. The semantics turns out to be well defined, since in this semantics labeled bisimilarity coincides with observational equivalence. We benefit from this result in analyzing the anonymity of an electronic cash protocol by the bisimulation method.",
keywords = "Anonymity, Component: Applied pi calculus, Electronic cash protocol",
author = "Xiaojuan Cai and Yuxin Deng",
year = "2008",
doi = "10.1109/iscsct.2008.262",
language = "英语",
isbn = "9780769534985",
series = "Proceedings - International Symposium on Computer Science and Computational Technology, ISCSCT 2008",
publisher = "IEEE Computer Society",
pages = "87--90",
booktitle = "Proceedings - International Symposium on Computer Science and Computational Technology, ISCSCT 2008",
address = "美国",
note = "International Symposium on Computer Science and Computational Technology, ISCSCT 2008 ; Conference date: 20-12-2008 Through 22-12-2008",
}