Pages that link to "Item:Q3498466"
From MaRDI portal
The following pages link to Deciding Knowledge in Security Protocols for Monoidal Equational Theories (Q3498466):
Displayed 5 items.
- Compiling and securing cryptographic protocols (Q990127) (← links)
- Challenges in the Automated Verification of Security Protocols (Q3541719) (← links)
- YAPA: A Generic Tool for Computing Intruder Knowledge (Q3636824) (← links)
- Computing Knowledge in Security Protocols under Convergent Equational Theories (Q5191113) (← links)
- A Proof Theoretic Analysis of Intruder Theories (Q5902125) (← links)