软件导刊2017，Vol.16Issue(5)：164-167,4.DOI:10.11907/rjdk.171200
基于符号模型的Mynah协议安全性自动化分析
Automatic Analysis of Security of Mynah Protocol Based on Symbolic Model
李镜1
作者信息
- 1. 中南民族大学 计算机科学学院,湖北 武汉 430074
- 折叠
摘要
Abstract
Openflow is the most popular sdn protocol and widely used till now,as the protocol is still in the process of completing so that it has protential safety hazards and more attention has been paid on the issue.Mynah is a security protocol based on openflow and in this paper we analyse the pravicy and authentication of the protocol based on symbolic model,formalized with the Applied PI calculus in the symbolic model and use automatic tool ProVerif to analyse automatically.The results indicate that the Mynah protocol is lack of privacy and authentication.Finally the solutions for the problem of no privacy and authentication in Mynah protocol are presented.关键词
SDN安全/Openflow协议/应用PI演算/符号模型/自动化分析Key words
SDN Security/Openflow Protocol/Authentication/Symbolic Mode/Automatic Analysis分类
信息技术与安全科学引用本文复制引用
李镜..基于符号模型的Mynah协议安全性自动化分析[J].软件导刊,2017,16(5):164-167,4.
