Improving SVO logic
Wu Kai · Harbin Gongcheng Daxue Xuebao/Journal of Harbin Engineering University · 2007
Mobile applications are popular,hence secure mobile communication is a necessity.Unfortunately,the computational ability of mobile terminals is relatively low,so it is urgent to reduce the computational complexity of authentication and key agreement protocols in mobile communication.To reduce computational demands,many authentication protocols used in mobile terminals adopt hash functions,instead of signatures,for authentication.Nevertheless,SVO logic lacks a formalized description for authentication of hash functions.This paper proposes extensions to the syntax of SVO logic for the analysis of hash functions,adding corresponding axioms of reasoning(algorithms) and proving its security.Goals of SVO logic are then discussed,showing this method satisfies the default goals in Entity authentication.Finally,a new authentication goal is proposed,and security of the new goal is analyzed.Practice has proved that expansion and improvement of SVO logic are practical and effective,compared to other security protocols.