000 03227nam a22005055i 4500
001 978-0-387-87969-7
003 DE-He213
005 20251006084428.0
007 cr nn 008mamaa
008 110406s2009 xxu| s |||| 0|eng d
020 _a9780387879697
020 _a99780387879697
024 7 _a10.1007/978-0-387-87969-7
_2doi
100 1 _aChoo, Kim-Kwang Raymond.
_eauthor.
245 1 0 _aSecure Key Establishment
_h[electronic resource] /
_cby Kim-Kwang Raymond Choo.
264 1 _aBoston, MA :
_bSpringer US,
_c2009.
300 _aXXIV, 216p. 24 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aAdvances in Information Security,
_x1568-2633 ;
_v41
505 0 _aBackground 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 -- Errors in Computational Complexity Proofs for Protocols -- On Session Key Construction -- Complementing Computational Protocol Analysis -- An Integrative Framework to Protocol Analysis and Repair -- Conclusion and Future Work.
520 _aResearch 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 _aCOMPUTER SCIENCE.
650 0 _aCOMPUTER COMMUNICATION NETWORKS.
650 0 _aDATA PROTECTION.
650 0 _aDATA STRUCTURES (COMPUTER SCIENCE).
650 0 _aDATA ENCRYPTION (COMPUTER SCIENCE).
650 0 _aCODING THEORY.
650 1 4 _aCOMPUTER SCIENCE.
650 2 4 _aDATA ENCRYPTION.
650 2 4 _aDATA STRUCTURES, CRYPTOLOGY AND INFORMATION THEORY.
650 2 4 _aSYSTEMS AND DATA SECURITY.
650 2 4 _aCOMPUTER COMMUNICATION NETWORKS.
650 2 4 _aCODING AND INFORMATION THEORY.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9780387879680
830 0 _aAdvances in Information Security,
_x1568-2633 ;
_v41
856 4 0 _uhttp://dx.doi.org/10.1007/978-0-387-87969-7
_zVer el texto completo en las instalaciones del CICY
912 _aZDB-2-SCS
942 _2ddc
_cER
999 _c59356
_d59356