-
题名SDN网络边缘交换机异常检测方法
被引量:1
- 1
-
-
作者
赵扬
伊鹏
张震
胡涛
刘少勋
-
机构
解放军战略支援部队信息工程大学信息技术研究所
网络通信与安全紫金山实验室
-
出处
《计算机科学》
CSCD
北大核心
2023年第1期362-372,共11页
-
基金
河南省重大科技专项(智能网联汽车内生安全关键技术研究及示范应用2022012)
国家自然科学基金(61872382,62101598,61521003)。
-
文摘
软件定义网络(SDN)为网络赋予了可编程性,降低了网络管理的复杂性,促进了新型网络技术的发展。SDN交换机作为数据转发与策略执行的设备,其权限不应被未经授权的实体窃取。然而,SDN交换机并不总是执行控制器下发的命令,恶意攻击者通过侵蚀SDN交换机对网络进行隐秘而致命的攻击,严重影响用户的端到端通信质量。通信顺序进程(CSP)作为针对并发系统设计的建模语言,可对SDN交换机-交换机,以及交换机-主机间的交互进行准确的描述。文中使用CSP对SDN交换机、终端主机进行建模,对两种异常交换机定位方法进行理论分析,并在实例化的模型系统中验证检测方法在边缘交换机作为出口交换机恶意转发时的有效性,结果表明无法检测该异常行为。针对这一问题,提出了边缘交换机异常检测方法,主机记录统计信息并通过构造特殊的数据包触发packet_in消息完成与控制器之间的信息传递,控制器收集统计信息并利用边缘交换机与主机之间的统计信息一致性检测边缘交换机的异常传输行为。最后,基于ryu控制器在mininet平台上进行实验,实验结果表明,边缘交换机异常检测方法可以成功检测异常行为。
-
关键词
软件定义网络
数据平面安全
形式化认证与分析
通信顺序进程
受损交换机检测
-
Keywords
Software defined network
Data plane security
formal authentication and analysis
Communication sequence process
Damaged switch detection
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-