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. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/978-3-642-01970-8_6 | ICCS (1) |
Keywords | Field | DocType |
knowledge aware bisimulation equivalence,ikp anonymity,applied pi calculus,equivalence relation,applied pi,security protocol,knowledge aware bisimulation,network security,anonymity,formal methods | Equivalence relation,Cryptographic protocol,Computer science,Pi calculus,Network security,Theoretical computer science,Bisimulation,Formal methods,Anonymity,Bisimulation equivalence,Distributed computing | Conference |
Volume | ISSN | Citations |
5544 | 0302-9743 | 0 |
PageRank | References | Authors |
0.34 | 17 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Zhu Han | 1 | 11215 | 760.71 |
Yonggen Gu | 2 | 18 | 6.83 |
Xiaojuan Cai | 3 | 36 | 5.95 |