软件学报

作者：陈迪，邱菡，朱俊虎，王清贤，樊松委

单位：陈迪，中国人民解放军战略支援部队信息工程大学, 河南 郑州 450002;数学工程与先进计算国家重点实验室, 河南 郑州 450002;电子信息系统复杂电磁环境效应国家重点实验室, 河南 洛阳 47100311,邱菡，中国人民解放军战略支援部队信息工程大学, 河南 郑州 450002;数学工程与先进计算国家重点实验室, 河南 郑州 45000202,朱俊虎，中国人民解放军战略支援部队信息工程大学, 河南 郑州 450002;数学工程与先进计算国家重点实验室, 河南 郑州 45000203,王清贤，中国人民解放军战略支援部队信息工程大学, 河南 郑州 450002;数学工程与先进计算国家重点实验室, 河南 郑州 45000204,樊松委，郑州大学 软件学院, 河南 郑州 45000305

关键词：域间路由安全;区块链;路由策略符合性;路由认证

基金：国家自然科学基金(61502528, 61902447)

域间路由系统自治域 (ASes)间具有不同的商业关系和路由策略. 违反自治域间出站策略协定的路由传播可能引发路由泄露, 进而导致网络中断、流量窃听、链路过载等严重后果. 路由策略符合性验证对于保证域间路由系统安全性和稳定性至关重要. 但自治域对本地路由策略自主配置与隐私保护的双重需求增加了验证路由策略符合性的难度, 使其一直是域间路由安全领域尚未妥善解决的难点问题. 提出一种基于区块链的域间路由策略符合性验证方法. 该方法以区块链和密码学技术作为信任背书, 使自治域能够以安全和隐私的方式发布、交互、验证和执行路由策略期望, 通过生成对应路由更新的路由证明, 保证路由传播过程的真实性, 从而以多方协同的方式完成路由策略符合性验证. 通过实现原型系统并基于真实路由数据开展实验与分析, 结果表明该方法可以在不泄露自治域商业关系和本地路由策略的前提下针对路由传播出站策略符合性进行可追溯的验证, 以合理的开销有效抑制策略违规路由传播, 在局部部署情况下也具有显著的策略违规路由抑制能力.

来源：2023年第9期

《软件学报》期刊编辑部

查看软件学报杂志2023年第9期