一种基于通道的AVISPA扩展方法研究

• 作者: 刘威 郭渊博
• 来源期刊: 计算机应用研究
• 关键词: 安全协议 形式化分析 安全属性 抽象通道
• 年，卷（期）: 2013,（12）
• 所属期刊栏目: 信息安全技术
• 页码范围: 3783-3785,3803
• 页数: 4页
• 分类号: TP393
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2013.12.068

摘要

针对AVISPA工具在分析某些消息需要依靠具有特定属性的信道传递的安全协议或服务中存在的问题,提出了一种基于抽象通道的扩展方法.抽象通道具有相关的安全性质保证如认证性,能够对提供安全性质保证的底层服务建模,并基于密码机制和标签等实现了抽象通道.利用扩展后的AVISPA工具分析有无消息源认证机制的Diffie-Hellman密钥交换协议的安全性,表明了方法的有效性,并且能够简化协议建模过程和增强AVISPA工具协议描述分析能力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭渊博	解放军信息工程大学网络空间安全学院	76	462	13.0	17.0
5	刘威	解放军信息工程大学网络空间安全学院	9	36	3.0	5.0