| 复合型安全协议及其验证 |
| |
| 引用本文： | 周勇,朱梧槚.复合型安全协议及其验证[J].南京航空航天大学学报,2006,38(6):697-701. |
| |
| 作者姓名： | 周勇 朱梧槚 |
| |
| 作者单位： | 南京航空航天大学信息科学与技术学院,南京,210016 |
| |
| 摘 要： | 根据可信第三方(Trusted third part,TTP)参与通信的方式,安全协议可以分为在线TTP型和离线TTP型两类。分析了两类协议的优缺点,提出了一种复合型安全协议,在同一协议中结合了两种方式,方式的选择由消息发送方和接收方共同决定。该协议由4条规则组成。为了描述协议的动态运行过程,对SVO逻辑系统进行了扩充,增加了3条公理,用于刻划消息接收者的不可否认性。基于扩充后的SVO逻辑系统对复合型安全协议进行了形式化描述,证明了该协议具有不可否认性。
|
| 关 键 词： | 复合型安全协议 协议认证 不可否认性 |
| 文章编号： | 1005-2615(2006)06-0697-05 |
| 收稿时间： | 2006-03-01 |
| 修稿时间： | 2006-05-16 |
Compound Security Protocol and Its Verification |
| |
| Zhou Yong,Zhu Wujia.Compound Security Protocol and Its Verification[J].Journal of Nanjing University of Aeronautics & Astronautics,2006,38(6):697-701. |
| |
| Authors: | Zhou Yong Zhu Wujia |
| |
| Institution: | College of Information Science and Technology, Nanjing University of Aeronautics Astronautics, Nanjing, 210016, China |
| |
| Abstract: | |
| |
| Keywords: | compound security protocol protocol verification non-repudiation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
