江标 宫云战 郑广 肖庆 蔡红柳 王雅文 张威 金大海 刘海燕 霍景河

非单调逻辑 软件测试 非法外联 空间分解 区间运算 内网 静态分析 单性空间覆盖率 非法计算 缺陷模式 局部性原理 缺陷检测 状态机 路径敏感 元组空间 程序分析 数据流分析 信念 非授权接入 特征模型 协议验证 安全协议 漏洞 静态测试 故障模型

装甲兵工程学院信息工程系 北京邮电大学网络与交换技术国家重点实验室 北京邮电大学网络与交换国家重点实验室