Formal Models and Techniques for Analyzing Security Protocols (Cryptology and Information Security Series)
- Författare
- Steve Kremer
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-1-283-28961-0 |