基于符号模型的Mynah协议安全性自动化分析

• 作者: 李镜
• 来源期刊: 软件导刊
• 学科: 工学
• 关键词: SDN安全 Openflow协议 应用PI演算 符号模型 自动化分析
• 年，卷（期）: 2017,（5）
• 所属期刊栏目: 信息安全
• 页码范围: 164-167
• 页数: 4页
• 分类号: TP309
• 字数: 2640字
• 语种: 中文
• DOI: 10.11907/rjdk.171200

摘要

Openflow是目前使用最为广泛的SDN通信协议,由于其协议规范还在不断完善,因此存在一定的安全隐患,对Openflow协议及其相关应用的安全分析也越来越受到重视.Mynah协议是在Openflow协议的基础上实现的安全认证协议.对Mynah协议的保密性和认证性进行分析,基于符号模型,利用应用PI演算对Mynah协议进行形式化建模,并使用安全协议分析工具Proverif进行自动化分析.结果表明,Mynah协议并不具备保密性和认证性,为此,给出了Mynah协议中不具备保密性和认证性的解决办法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李镜	中南民族大学计算机科学学院	1	0	0.0	0.0