| 一个安全协议度量方法及其应用 |
| |
| 引用本文： | 王涛,郭荷清,姚松涛.一个安全协议度量方法及其应用[J].计算机工程与设计,2005,26(3):644-647,650. |
| |
| 作者姓名： | 王涛 郭荷清 姚松涛 |
| |
| 作者单位： | 华南理工大学,计算机科学与工程学院,广东,广州,510642;华南理工大学,计算机科学与工程学院,广东,广州,510642;华南理工大学,计算机科学与工程学院,广东,广州,510642 |
| |
| 基金项目： | 广州市科委重点科技攻关基金项目(B2-109-550) |
| |
| 摘 要： | 简要说明了对安全协议进行协议度量和冗余度量的一个基于模态逻辑方法，形式化地给出了协议对安全目标满足度的度量方法定义，并讨论了相应的协议冗余分析和化简方法。给出了对安全协议的内容进行逻辑比较的准则，结合实例分析了两个协议之间的逻辑包含关系。讨论结合逆向推理的两个应用：对基于模态逻辑的协议分析中隐含假设的分析方法，协议设计和生成方法。
|
| 关 键 词： | 安全协议 协议度量 协议冗余 协议生成 协议设计 模态逻辑 逆向推理 |
| 文章编号： | 1000-7024(2005)03-0644-04 |
Measure method of security protocol and its applications |
| |
| WANG Tao,Guo He-qing,YAO Song-tao.Measure method of security protocol and its applications[J].Computer Engineering and Design,2005,26(3):644-647,650. |
| |
| Authors: | WANG Tao Guo He-qing YAO Song-tao |
| |
| Abstract: | 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. |
| |
| Keywords: | security protocol protocol measurement protocol redundancy protocol generation protocol design modal logic reverse inference |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
