The following pages link to CONCUR 2005 – Concurrency Theory (Q5897485):
Displayed 6 items.
- Tree automata with equality constraints modulo equational theories (Q2426520) (← links)
- Transducer-based analysis of cryptographic protocols (Q2464141) (← links)
- Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later (Q2945721) (← links)
- Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol (Q3540086) (← links)
- Proving Group Protocols Secure Against Eavesdroppers (Q3541693) (← links)
- Deciding Security for Protocols with Recursive Tests (Q5200014) (← links)