| Original language | English |
|---|---|
| Title of host publication | Formal Models and Techniques for Analyzing Security Protocols |
| ISBN (Electronic) | 9781607507147 |
| Publication status | Published - 1 Jan 2011 |
The Applied pi calculus
Mark Ryan, B Smyth, V Cortier, S Kremer
Research output: Chapter in Book/Report/Conference proceeding › Chapter