-
公开(公告)号:CN116684247A
公开(公告)日:2023-09-01
申请号:CN202310710233.X
申请日:2023-06-15
Applicant: 厦门大学
Abstract: 本公开提供了一种多管理域网络验证方法,包括:将各个应用服务器的路由器配置文件转化为安全多方计算协议确定的输入格式,以保证各个应用服务器之间的兼容性;对满足输入格式的路由器配置文件进行模拟处理,以使得多管理域网络在收敛后生成秘密数据平面;以及对秘密数据平面进行数据平面验证,以获得关于多管理域网络的各个属性的验证结果。本公开还提供一种多管理域网络验证系统。