| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, ... Notes in Computer Science, Band 6186) | 978-3-642-16O73-8 (3-642-16O73-5) | 2010 | Alessandro Armando |
G L. · Gavin Lee · Gavin Lew · Giovanni Lai · Giovanni Leo · Guobin Liu