Knowledge Aware Bisimulation and Anonymity

Authors:
Han Zhu;Yonggen Gu;Xiaojuan Cai
Affiliations:
Basics Lab, Department of Computer Science, Shanghai Jiao Tong University, Shanghai, China;Department of Computer Science and Technology, Huzhou Teachers College, Huzhou, China;Basics Lab, Department of Computer Science, Shanghai Jiao Tong University, Shanghai, China
Venue:
ICCS '09 Proceedings of the 9th International Conference on Computational Science: Part I
Year:
2009

Citing 15
Cited 0

The dining cryptographers problem: unconditional sender and recipient untraceability

Journal of Cryptology
A calculus of mobile processes, I

Information and Computation
A calculus of mobile processes, II

Information and Computation
A calculus for cryptographic protocols

Information and Computation
Mobile values, new names, and secure communication

POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A bisimulation method for cryptographic protocols

Nordic Journal of Computing
CSP and Anonymity

ESORICS '96 Proceedings of the 4th European Symposium on Research in Computer Security: Computer Security
iKP: a family of secure electronic payment protocols

WOEC'95 Proceedings of the 1st conference on USENIX Workshop on Electronic Commerce - Volume 1
Measuring Anonymity

ISPEC '09 Proceedings of the 5th International Conference on Information Security Practice and Experience
Computer-assisted verification of a protocol for certified email

SAS'03 Proceedings of the 10th international conference on Static analysis
Hiding names: private authentication in the applied pi calculus

ISSS'02 Proceedings of the 2002 Mext-NSF-JSPS international conference on Software security: theories and systems
Analyzing iKP security in applied pi calculus

CIS'04 Proceedings of the First international conference on Computational and Information Science
Analysing the MUTE anonymous file-sharing system using the pi-calculus

FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Analysis of an electronic voting protocol in the applied pi calculus

ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Design, implementation, and deployment of the iKP secure electronic payment system

IEEE Journal on Selected Areas in Communications

Quantified Score

Hi-index	0.01

Visualization

Abstract

We propose a knowledge aware bisimulation equivalence relation on the Calculus of Applied Pi Calculus. Applied Pi is well-known for discribing and analyzing security protocols. Our equivalence relation is especially useful in analyzing the property of anonymity. We give an analysis of iKP anonymity as a running example to show the effectiveness of this approach.