مرکز منطقه ای اطلاع رساني علوم و فناوري - The importance of proofs of security for key establishment protocols: Formal analysis of Jan–Chen, Yang–Shen–Shieh, Kim–Huh–Hwang–Lee, Lin–Sun–Hwang, and Yeh

Title of article :

The importance of proofs of security for key establishment protocols: Formal analysis of Jan–Chen, Yang–Shen–Shieh, Kim–Huh–Hwang–Lee, Lin–Sun–Hwang, and Yeh–Sun protocols

Author/Authors :

Kim-Kwang Raymond Choo، نويسنده , , Colin Boyd، نويسنده , , Yvonne Hitchcock، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2006

Pages :

From page :

2788

To page :

2797

Keywords :

Provable security , Mutual authentication and key establishment protocols , formal specification

Journal title :

Computer Communications

Serial Year :

2006

Journal title :

Computer Communications

Record number :

310410

Link To Document :

https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=310410