唐勇 毛剑 韦韬 张建宇 叶志远 诸葛建伟 梁知音 王铁磊 李佳静 韩心慧 陈昱 周勇林 周渊 凤旺森 王大为

异常检测 FORTRAN语言 数据流分析 会话管理 污点分析 报警关联 会话表 恶意行为 知识表示 计算机犯罪 自适应缓存 作用域规则 行为语义 证据理论 目标规划图 恶意代码 规划识别 加权下推自动机 报文分类 动态取证 静态取证 网络取证 木马间谍程序 僵尸程序 并行冲突 缓存粒度 属性文法 D-S理论 传播模型 证据固定

北京大学计算机科学技术研究所 国家计算机网络应急技术处理协调中心 北京大学计算中心 中国科学院软件研究所 网络与软件安全保障教育部重点实验室（北京... 中国矿业大学（北京）机电与信息工程学院