Measure method of security protocol and its applications
Yao Song-tao · Jisuanji gongcheng yu sheji · 2005
A modal logic based method for security protocol measurement and redundancy measurement is introduced. The definition ofprotocolsecurity goal satisfaction measurement is given formally, aswellasthe analyzing and reducing method of protocol redundancy. Based on this, logical comparison of two protocol is available which is applied in an instantiated analysis of the logical covering rela- tionship between two protocols. Two applications of the method both using reverse inference are proposed: Analysis method of implicit assumptions involved in modal logic-based protocol analysis, and protocol design and generation.