The following pages link to Protocol Composition Logic (PCL) (Q2864155):
Displaying 8 items.
- A survey of symbolic methods in computational analysis of cryptographic systems (Q540683) (← links)
- Distributed temporal logic for the analysis of security protocol models (Q549724) (← links)
- A framework for compositional verification of security protocols (Q2482454) (← links)
- Compositional System Security with Interface-Confined Adversaries (Q3178245) (← links)
- Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol (Q3178248) (← links)
- Constructing Security Protocol Specifications for Web Services (Q3613476) (← links)
- Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols (Q3631369) (← links)
- Categorical composable cryptography: extended version (Q6178713) (← links)
