The following publications are possibly variants of this publication:
- A probabilistic polynomial-time process calculus for the analysis of cryptographic protocolsAjith Ramanathan. PhD thesis, Stanford University, USA, 2005. [doi]
- A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Report)John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague. ENTCS, 45:280-310, 2001. [doi]
- Probabilistic Polynomial-Time Process Calculus and Security Protocol AnalysisJohn C. Mitchell. ESOP 2001: 23-29 [doi]
- Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process CalculusPaulo Mateus, John C. Mitchell, Andre Scedrov. concur 2003: 323-345 [doi]
- Probabilistic Polynominal-Time Process Calculus and Security Protocol AnalysisJohn C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague. lics 2001: 3-8