TY - GEN AU - Sushil Jajodia ED - Choo. TI - Secure Key Establishment (E-BOOK) SN - 9780387879697 U1 - 005.8 PY - 2009/// CY - Boston, MA PB - Springer-Verlag US KW - Computer Science KW - E-Book N1 - Introduction (Page-1) Background Materials (Page-19) A Flawed BR95 Partnership Function (Page-57) On The Key Sharing Requirement (Page-71) Comparison of Bellare–Rogaway and Canetti–Krawczyk Models (Page-83) An Extension to the Bellare–Rogaway Model (Page-101) A Proof of Revised Yahalom Protocol (Page-117) On Session Key Construction (Page-147) Complementing Computational Protocol Analysis (Page-163) An Integrative Framework to Protocol Analysis and Repair (Page-191) Conclusion and Future Work (Page-205) ER -