• 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
    10
  • 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