复合型安全协议及其验证

• 作者: 周勇 朱梧槚
• 来源期刊: 南京航空航天大学学报
• 学科: 工学
• 关键词: 复合型安全协议 协议认证 不可否认性
• 年，卷（期）: 2006,（6）
• 页码范围: 697-701
• 页数: 5页
• 分类号: TN309.2
• 字数: 4751字
• 语种: 中文
• DOI: 10.3969/j.issn.1005-2615.2006.06.009

摘要

根据可信第三方(Trusted third part,TTP)参与通信的方式,安全协议可以分为在线TTP型和离线TTP型两类.分析了两类协议的优缺点,提出了一种复合型安全协议,在同一协议中结合了两种方式,方式的选择由消息发送方和接收方共同决定.该协议由4条规则组成.为了描述协议的动态运行过程,对SVO逻辑系统进行了扩充,增加了3条公理,用于刻划消息接收者的不可否认性.基于扩充后的SVO逻辑系统对复合型安全协议进行了形式化描述,证明了该协议具有不可否认性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱梧槚	南京航空航天大学信息科学与技术学院	40	363	8.0	18.0
2	周勇	南京航空航天大学信息科学与技术学院	47	321	8.0	16.0