The following pages link to CONCUR 2005 – Concurrency Theory (Q5897485):
Displaying 8 items.
- Maximizing theory accuracy through selective reinterpretation (Q1592379) (← links)
- 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)
- STACS 2004 (Q5309716) (← links)
