On the Improvement of SVO Logic Analysis

作     者：JIANG Hualin, LI Lixin, HUANG Ping , LI Zhipeng School of Computer & Information Science, Southwest University, Chongqing 400715, China 

出 版 物：《International Journal of Systems and Control》 (国际系统与控制(英文版))

年 卷 期：2008年第2期

页      面：121-128页

学科分类：11[军事学] 1105[军事学-军队指挥学] 0839[工学-网络空间安全] 08[工学] 110505[军事学-密码学] 110503[军事学-军事通信学] 

主　　题：SVO logic SVO+ logic JFKr 

摘      要：SVO logic lacks a formalized description for authentication of complex compound messages. This paper proposes a new logic-SVO+ logic for analysis of complex compound messages, improving corresponding axioms of reasoning and giving its proofs. And security of the JFKr protocol is analysed with SVO+. Practice proves that expansion and improvement of SVO logic are practical and effective, compared to other analysis of the JFKr protocol.