Formal Models and Techniques for Analyzing Security Protocols
- Författare
- V. Cortier
- Genre
- Electronic books.
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| IOS Press | 2011 | Nederländerna, Amsterdam | 1 online resource (312 sidor.) | 978-1-60750-714-7 |