Protocol Composition Logic (PCL)
From MaRDI portal
Publication:2864155
DOI10.1016/j.entcs.2007.02.012zbMath1277.68033MaRDI QIDQ2864155
Anupam Datta, Ante Derek, John C. Mitchell, Arnab Roy
Publication date: 6 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.012
Related Items
Safely Composing Security Protocols, A framework for compositional verification of security protocols, Constructing Security Protocol Specifications for Web Services, Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols
Uses Software