|
|
|
|
| LEADER |
03272nam a22004815i 4500 |
| 001 |
4787 |
| 003 |
DE-He213 |
| 005 |
20130725205347.0 |
| 007 |
cr nn 008mamaa |
| 008 |
110406s2009 xxu| s |||| 0|eng d |
| 020 |
# |
# |
|a 9780387879697
|9 978-0-387-87969-7
|
| 024 |
7 |
# |
|a 10.1007/978-0-387-87969-7
|2 doi
|
| 100 |
1 |
# |
|a Choo, Kim-Kwang Raymond.
|e author.
|
| 245 |
1 |
0 |
|a Secure Key Establishment
|c by Kim-Kwang Raymond Choo.
|h [electronic resource] /
|
| 264 |
# |
1 |
|a Boston, MA :
|b Springer US,
|c 2009.
|
| 300 |
# |
# |
|a XXIV, 216p. 24 illus.
|b online resource.
|
| 336 |
# |
# |
|a text
|b txt
|2 rdacontent
|
| 337 |
# |
# |
|a computer
|b c
|2 rdamedia
|
| 338 |
# |
# |
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
# |
# |
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
# |
|a Advances in Information Security,
|v 41
|x 1568-2633 ;
|
| 505 |
0 |
# |
|a Introduction -- Background Materials -- A Flawed BR95 Partnership Function -- On The Key Sharing Requirement -- Comparison of Bellare Rogaway and Canetti Krawczyk Models -- An Extension to the Bellare Rogaway Model -- A Proof of Revised Yahalom Protocol in the Bellare and Rogaway(1993) Model -- Errors in Computational Complexity Proofs for Protocols -- On Session Key Construction -- Complementing Computational Protocol Analysis -- An Integrative Framework to Protocol Analysis and Repair: Bellare Rogaway Model + Planning + Model Checker -- Conclusion and Future Work -- Index.
|
| 520 |
# |
# |
|a Research on Secure Key Establishment has become very active within the last few years. Secure Key Establishment discusses the problems encountered in this field. This book also introduces several improved protocols with new proofs of security. Secure Key Establishment identifies several variants of the key sharing requirement. Several variants of the widely accepted Bellare and Rogaway (1993) model are covered. A comparative study of the relative strengths of security notions between these variants of the Bellare Rogaway model and the Canetti Krawczyk model is included. An integrative framework is proposed that allows protocols to be analyzed in a modified version of the Bellare Rogaway model using the automated model checker tool. Secure Key Establishment is designed for advanced level students in computer science and mathematics, as a secondary text or reference book. This book is also suitable for practitioners and researchers working for defense agencies or security companies.
|
| 650 |
# |
0 |
|a Computer science.
|
| 650 |
# |
0 |
|a Computer Communication Networks.
|
| 650 |
# |
0 |
|a Data protection.
|
| 650 |
# |
0 |
|a Data structures (Computer science).
|
| 650 |
# |
0 |
|a Data encryption (Computer science).
|
| 650 |
# |
0 |
|a Coding theory.
|
| 650 |
1 |
4 |
|a Computer Science.
|
| 650 |
2 |
4 |
|a Data Encryption.
|
| 650 |
2 |
4 |
|a Data Structures, Cryptology and Information Theory.
|
| 650 |
2 |
4 |
|a Systems and Data Security.
|
| 650 |
2 |
4 |
|a Computer Communication Networks.
|
| 650 |
2 |
4 |
|a Coding and Information Theory.
|
| 710 |
2 |
# |
|a SpringerLink (Online service)
|
| 773 |
0 |
# |
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9780387879680
|
| 830 |
# |
0 |
|a Advances in Information Security,
|v 41
|x 1568-2633 ;
|
| 856 |
4 |
0 |
|u https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-0-387-87969-7
|
| 912 |
# |
# |
|a ZDB-2-SCS
|
| 950 |
# |
# |
|a Computer Science (Springer-11645)
|