Analyzing and Fixing the Vulnerabilities of ASK Protocol
Ryu Gab Sang, Kim Il Gon, Kim Hyun Seok, Yeon Lee, Kang In Hye, Choi Jin Young · 2006
Security protocols have usually been developed using informal design and verification techniques. However, many security protocols thought to be secure was found to be vulnerable later. Thus, the importance of formal specification and verification for analyzing the safely of protocols is increasing. With the rise of mobile communication networks, various mobile security protocols have been proposed. In this paper, we identify the security weakness of the ASK mobile Protocol using formal verification technique. In addition, we propose a new ASK protocol modifying its vulnerability and verify its robustness.