The following pages link to CONCUR 2003 - Concurrency Theory (Q5900575):
Displayed 5 items.
- A computational interpretation of Dolev-Yao adversaries (Q557888) (← links)
- Analyzing security protocols using time-bounded task-PIOAs (Q1020557) (← links)
- Task-structured probabilistic I/O automata (Q1745718) (← links)
- A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols (Q2368990) (← links)
- A Process Algebra for Reasoning About Quantum Security (Q2864166) (← links)