Pages that link to "Item:Q5900812"
From MaRDI portal
The following pages link to Fundamentals of Computation Theory (Q5900812):
Displaying 4 items.
- Assumption-based analysis of distance-bounding protocols with \textsc{cpsa} (Q2037997) (← links)
- Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols (Q2841265) (← links)
- Safe Equivalences for Security Properties (Q3163873) (← links)
- Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA (Q6104494) (← links)