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.

Kim-Kwang Raymond Choo Colin Boyd Yvonne Hitchcock 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. 2788-2797 2006 29 Computer Communications 15 http://dx.doi.org/10.1016/j.comcom.2005.10.030 db/journals/comcom/comcom29.html#ChooBH06