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]
- Secrecy Analysis in Protocol Composition LogicArnab Roy, Anupam Datta, Ante Derek, John C. Mitchell, Jean-Pierre Seifert. asian 2008: 197-213 [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.