摘要
简要说明了对安全协议进行协议度量和冗余度量的一个基于模态逻辑方法,形式化地给出了协议对安全目标满足度的度量方法定义, 并讨论了相应的协议冗余分析和化简方法。给出了对安全协议的内容进行逻辑比较的准则,结合实例分析了两个协议之间的逻辑包含关系。讨论结合逆向推理的两个应用:对基于模态逻辑的协议分析中隐含假设的分析方法,协议设计和生成方法。
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.
出处
《计算机工程与设计》
CSCD
北大核心
2005年第3期644-647,650,共5页
Computer Engineering and Design
基金
广州市科委重点科技攻关基金项目(B2-109-550)
关键词
安全协议
协议分析
逆向推理
冗余度
满足度
模态逻辑
协议设计
度量方法
法定
准则
security protocol
protocol measurement
protocol redundancy
protocol generation
protocol design
modal logic
reverse inference
