On the Relationships between Notions of Simulation-Based Security | 17 | 0.70 | 2008 |
Games and the impossibility of realizable ideal functionality | 20 | 0.68 | 2006 |
A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols | 52 | 1.71 | 2006 |
Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols | 25 | 1.18 | 2004 |
Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis | 10 | 0.73 | 2001 |
A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Report) | 28 | 1.17 | 2001 |