Pages that link to "Item:Q5308469"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5308469):
Displaying 7 items.
- A survey of symbolic methods in computational analysis of cryptographic systems (Q540683) (← links)
- Weakening the perfect encryption assumption in Dolev-Yao adversaries (Q557896) (← links)
- Analyzing security protocols using time-bounded task-PIOAs (Q1020557) (← links)
- On the relationships between notions of simulation-based security (Q1021241) (← links)
- A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols (Q2368990) (← links)
- Automated verification of selected equivalences for security protocols (Q2474047) (← links)
- Protocol Composition Logic (PCL) (Q2864155) (← links)
