Cryptographic protocol security analysis based on trusted freshness
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Beijing, China Heidelberg ; New York
Higher Education Press ; Springer
c2012
|
| Subjects: |
| Physical Description: | xi, 373 p. ill. 24 cm |
|---|---|
| ISBN: | 3642240720 (hardback : alk. paper) 3642240739 (ebook) 7040313316 (Higher Education Press, Beijing) 9783642240720 (hardback : alk. paper) 9783642240737 (ebook) 9787040313314 (Higher Education Press, Beijing) |