Protocol Composition Logic (PCL)
Open Access
- 1 April 2007
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 172, 311-358
- https://doi.org/10.1016/j.entcs.2007.02.012
Abstract
No abstract availableKeywords
This publication has 50 references indexed in Scilit:
- Formal analysis of Kerberos 5Theoretical Computer Science, 2006
- Verifying authentication protocols in CSPIEEE Transactions on Software Engineering, 1998
- Protocol interactions and the chosen protocol attackPublished by Springer Nature ,1998
- Kerberos Version IV: Inductive analysis of the secrecy goalsPublished by Springer Nature ,1998
- The NRL Protocol Analyzer: An OverviewThe Journal of Logic Programming, 1996
- A general theory of composition for a class of "possibilistic" propertiesIEEE Transactions on Software Engineering, 1996
- A model for secure protocols and their compositionsIEEE Transactions on Software Engineering, 1996
- A hookup theorem for multilevel securityIEEE Transactions on Software Engineering, 1990
- Probabilistic logicArtificial Intelligence, 1986
- Communicating sequential processesCommunications of the ACM, 1978