Buch, Englisch, Band 41, 216 Seiten, Format (B × H): 160 mm x 241 mm, Gewicht: 524 g
Buch, Englisch, Band 41, 216 Seiten, Format (B × H): 160 mm x 241 mm, Gewicht: 524 g
Reihe: Advances in Information Security
ISBN: 978-0-387-87968-0
Verlag: Springer US
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.
Zielgruppe
Professional/practitioner
Autoren/Hrsg.
Fachgebiete
- Wirtschaftswissenschaften Wirtschaftssektoren & Branchen Dienstleistungssektor & Branchen Sicherheitsgewerbe
- Mathematik | Informatik EDV | Informatik Daten / Datenbanken Kryptologie, Informationssicherheit
- Mathematik | Informatik EDV | Informatik Technische Informatik Computersicherheit Kryptographie, Datenverschlüsselung
- Mathematik | Informatik EDV | Informatik Technische Informatik Computersicherheit Datensicherheit, Datenschutz
Weitere Infos & Material
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.- 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.
