陈迪(1992-),女,博士,讲师,主要研究领域为域间路由系统安全,区块链技术与应用.;邱菡(1981-),女,博士,副教授,CCF专业会员,主要研究领域为域间路由安全,网络安全模拟与评估.;朱俊虎(1974-),男,博士,教授,CCF高级会员,主要研究领域为网络对抗,网络安全测试与评估.;王清贤(1960-),男,教授,博士生导师,主要研究领域为网络安全.;樊松委(1997-),男,硕士生,主要研究领域为区块链技术,域间路由安全.
邱菡,E-mail:qiuhan410@aliyun.com
国家自然科学基金(61502528, 61902447)
陈迪,邱菡,朱俊虎,王清贤,樊松委.基于区块链的域间路由策略符合性验证方法.软件学报,2023,34(9):4336-4350
复制