Pages that link to "Item:Q5899102"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5899102):
Displayed 9 items.
- Decidability and combination results for two notions of knowledge in security protocols (Q437043) (← links)
- A survey of symbolic methods in computational analysis of cryptographic systems (Q540683) (← links)
- Computationally sound implementations of equational theories against passive adversaries (Q1013091) (← links)
- Composition of password-based protocols (Q2248082) (← links)
- Sound and complete computational interpretation of symbolic hashes in the standard model (Q2481980) (← links)
- Model Checking Security Protocols (Q3176380) (← links)
- A Calculus to Detect Guessing Attacks (Q3399200) (← links)
- Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols (Q3631369) (← links)
- YAPA: A Generic Tool for Computing Intruder Knowledge (Q3636824) (← links)