|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000079049 |
| 005 |
20130320093000.0 |
| 008 |
120627s2012 cc eng |
| 020 |
|
|
|a 3642240720 (hardback : alk. paper)
|
| 020 |
|
|
|a 3642240739 (ebook)
|
| 020 |
|
|
|a 7040313316 (Higher Education Press, Beijing)
|
| 020 |
|
|
|a 9783642240720 (hardback : alk. paper)
|
| 020 |
|
|
|a 9783642240737 (ebook)
|
| 020 |
|
|
|a 9787040313314 (Higher Education Press, Beijing)
|
| 050 |
0 |
0 |
|a QA76.9.A25
|b L56 2012
|
| 090 |
0 |
0 |
|a QA76.9.A25
|b L56 2012
|
| 100 |
1 |
|
|a Ling, Dong ,
|e author
|
| 245 |
1 |
0 |
|a Cryptographic protocol :
|b security analysis based on trusted freshness
|c Ling Dong, Kefei Chen
|
| 260 |
|
|
|a Beijing, China :
|b Higher Education Press ;
|a Heidelberg ;
|a New York :
|b Springer ,
|c c2012
|
| 300 |
|
|
|a xi, 373 p. :
|b ill. ;
|c 24 cm.
|
| 504 |
|
|
|a Includes bibliographical references and index
|
| 505 |
0 |
|
|a 1. Introduction of cryptographic protocols -- 2. Background of cryptographic protocols -- 3. Engineering principles for security design of protocols -- 4. Informal analysis schemes of cryptographic protocols -- 5. Security analysis of real world protocols -- 6. Guarantee of cryptographic protocol security -- 7. Formalism of protocol security analysis -- 8. Design of cryptographic protocols based on trusted freshness -- 9. Automated analysis of cryptographic protocols based on trusted freshness
|
| 650 |
|
0 |
|a Computer network protocols
|
| 650 |
|
0 |
|a Computer networks
|x Security measures
|
| 650 |
|
0 |
|a Data encryption (Computer science)
|
| 700 |
1 |
|
|a Kefei, Chen ,
|d 1959- ,
|e author
|
| 999 |
|
|
|a 1000152682
|b Book
|c OPEN SHELF (30 DAYS)
|e Tembila Campus
|