“ 安全可信互联网体系结构与关键技术”成果展示

SAVA-X

        提出了一种低开销的端到端数据包级源地址验证方法,可以在扁平信任联盟结构的域间实现源地址验证SAVA-X。SAVA-X立足实际网络拓扑结构和域间路由机制,通过合理的分层标准,SAVA-X将部署了验证机制的所有网络划分成多层级地址域信任联盟,每一级地址域联盟可以作为成员(抽象为一个系统整体)自下而上的参加更高级别的地址域信任联盟,形成一种多级并存的、层次化的信任联盟体系结构。
        SAVA-X机制以基于密码学的数据包标签为源地址信任与验证基础,能够以极低的开销,精细粒度地防止源IP地址伪造,削减DoS/DDoS攻击,并且支持增量部署。方案的最大特点是设计了一种在源与目的之间自动同步、更新标签的技术,做到降低运行与管理开销,对DoS/DDoS以及其他基于源地址伪造的攻击拥有很强的鲁棒性。

       ​团队已经将SAVA-X机制部署在中国未来网络试验设施国家重大科技基础设施 FITI 主干网(如图 8所示),目前正在逐步进行调试开通。团队致力于在未来,利用这项技术支持全国 31 个省区市以及不少于 4096 个大规模试验网络实现真实源地址验证能力。

SAVA-X层次化体系结构

      团队对真实可信体系结构进行了规模化验证,并搭建了基于 CERNET2 的实验验证平台。以清华、北大、北航、北邮四所高校组成的北京地区为现阶段部署区域,在四所高校间建立了域间源地址信任联盟,保证其它互联网流量无法伪造四所高校间的可信交互。通过搭建实验验证平台和开放实验平台,可以更好地研究和验证网络安全技术,提高网络的安全性和可靠性。

Sava-X
管理平台

MASK(Multi-AS-Key)

       针对数据篡改、流量窃听泛滥的问题,​团队提出​一种基于数据包随机标识的高效真实性路径验证机制MASK,通过在多个AS路由节点对之间建立标签、源用户在数据包中嵌入动态标识、转发路径上路由节点随机执行验证和添加标识、目的节点根据标识验证数据包真实转发路径是否与预期一致,确保传输流量的安全性。
      MASK克服了传统方法逐跳逐包验证方式的缺陷,仅需一跳路由节点对接收到的数据包进行随机标识,克服了现有路径验证工作通信开销和计算开销高、缺乏可部署性、可靠性不足等问题,较好地平衡了安全性和高效性之间的矛盾。
      MASK具有较强的安全验证能力,能够识别攻击者对数据分组的损坏,路径不一致攻击和重放攻击。  

发表论文:​Songtao Fu, Qi Li, Min Zhu, Xiaoliang Wang, Su Yao, Guo Yangfei, Xinle Du, Ke Xu. MASK: Practical Source and Path Verification Based on Multi-AS-Key. IEEE/ACM ToN, vol. 31, no. 4, pp.1478-1493, 2023.