The following publications are possibly variants of this publication:
- Protocol Composition Logic (PCL)Anupam Datta, Ante Derek, John C. Mitchell, Arnab Roy. ENTCS, 172:311-358, 2007. [doi]
- A Compositional Logic for Protocol CorrectnessNancy A. Durgin, John C. Mitchell, Dusko Pavlovic. csfw 2001: 241 [doi]
- Computationally Sound Compositional Logic for Key Exchange ProtocolsAnupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi. csfw 2006: 321-334 [doi]
- A derivation system and compositional logic for security protocolsAnupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic. jcs, 13(3):423-482, 2005. [doi]
- A Compositional Logic for Proving Security Properties of ProtocolsNancy A. Durgin, John C. Mitchell, Dusko Pavlovic. jcs, 11(4):677-722, 2003.
- Compositional analysis of contract-signing protocolsMichael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani. TCS, 367(1-2):33-56, 2006. [doi]
- Compositional Analysis of Contract Signing ProtocolsMichael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani. csfw 2005: 94-110 [doi]