A simpler framework based on the applied pi calculus and its application to electronic cash protocol

Xiaojuan Cai; Yuxin Deng

doi:10.1109/iscsct.2008.262

A simpler framework based on the applied pi calculus and its application to electronic cash protocol

Xiaojuan Cai, Yuxin Deng

Shanghai Jiao Tong University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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.

Original language	English
Title of host publication	Proceedings - International Symposium on Computer Science and Computational Technology, ISCSCT 2008
Publisher	IEEE Computer Society
Pages	87-90
Number of pages	4
ISBN (Print)	9780769534985
DOIs	https://doi.org/10.1109/iscsct.2008.262
State	Published - 2008
Externally published	Yes
Event	International Symposium on Computer Science and Computational Technology, ISCSCT 2008 - Shanghai, China Duration: 20 Dec 2008 → 22 Dec 2008

Publication series

Name	Proceedings - International Symposium on Computer Science and Computational Technology, ISCSCT 2008
Volume	2

Conference

Conference	International Symposium on Computer Science and Computational Technology, ISCSCT 2008
Country/Territory	China
City	Shanghai
Period	20/12/08 → 22/12/08

Keywords

Anonymity
Component: Applied pi calculus
Electronic cash protocol

Access to Document

10.1109/iscsct.2008.262

Cite this

Cai, X., & Deng, Y. (2008). A simpler framework based on the applied pi calculus and its application to electronic cash protocol. In Proceedings - International Symposium on Computer Science and Computational Technology, ISCSCT 2008 (pp. 87-90). Article 4731578 (Proceedings - International Symposium on Computer Science and Computational Technology, ISCSCT 2008; Vol. 2). IEEE Computer Society. https://doi.org/10.1109/iscsct.2008.262

Cai, Xiaojuan ; Deng, Yuxin. / A simpler framework based on the applied pi calculus and its application to electronic cash protocol. Proceedings - International Symposium on Computer Science and Computational Technology, ISCSCT 2008. IEEE Computer Society, 2008. pp. 87-90 (Proceedings - International Symposium on Computer Science and Computational Technology, ISCSCT 2008).

@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",

}

Cai, X & Deng, Y 2008, A simpler framework based on the applied pi calculus and its application to electronic cash protocol. in Proceedings - International Symposium on Computer Science and Computational Technology, ISCSCT 2008., 4731578, Proceedings - International Symposium on Computer Science and Computational Technology, ISCSCT 2008, vol. 2, IEEE Computer Society, pp. 87-90, International Symposium on Computer Science and Computational Technology, ISCSCT 2008, Shanghai, China, 20/12/08. https://doi.org/10.1109/iscsct.2008.262

A simpler framework based on the applied pi calculus and its application to electronic cash protocol. / Cai, Xiaojuan; Deng, Yuxin.
Proceedings - International Symposium on Computer Science and Computational Technology, ISCSCT 2008. IEEE Computer Society, 2008. p. 87-90 4731578 (Proceedings - International Symposium on Computer Science and Computational Technology, ISCSCT 2008; Vol. 2).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A simpler framework based on the applied pi calculus and its application to electronic cash protocol

AU - Cai, Xiaojuan

AU - Deng, Yuxin

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

KW - Anonymity

KW - Component: Applied pi calculus

KW - Electronic cash protocol

UR - https://www.scopus.com/pages/publications/62349098376

U2 - 10.1109/iscsct.2008.262

DO - 10.1109/iscsct.2008.262

M3 - 会议稿件

AN - SCOPUS:62349098376

SN - 9780769534985

T3 - Proceedings - International Symposium on Computer Science and Computational Technology, ISCSCT 2008

SP - 87

EP - 90

BT - Proceedings - International Symposium on Computer Science and Computational Technology, ISCSCT 2008

PB - IEEE Computer Society

T2 - International Symposium on Computer Science and Computational Technology, ISCSCT 2008

Y2 - 20 December 2008 through 22 December 2008

ER -

Cai X, Deng Y. A simpler framework based on the applied pi calculus and its application to electronic cash protocol. In Proceedings - International Symposium on Computer Science and Computational Technology, ISCSCT 2008. IEEE Computer Society. 2008. p. 87-90. 4731578. (Proceedings - International Symposium on Computer Science and Computational Technology, ISCSCT 2008). doi: 10.1109/iscsct.2008.262

A simpler framework based on the applied pi calculus and its application to electronic cash protocol

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this