王立敏(1994-),男,博士生,CCF学生会员,主要研究领域为软件分析,系统安全;卜磊(1983-),男,博士,教授,博士生导师,CCF高级会员,主要研究领域为形式化方法,复杂软件系统分析与验证;马乐之(2000-),男,博士生,CCF学生会员,主要研究领域为软件分析与测试
卜磊,bulei@nju.edu.cn
国家自然科学基金(62232008,62172200);江苏省前沿引领技术基础研究专项(BK20202001)
王立敏,卜磊,马乐之,于笑丰,沈宁国.基于指标依赖模型构建与监控的攻击检测方法.软件学报,2023,34(6):2641-2668
复制