张黔 杨灿 罗敏 乔伟 彭蓉 余乔莉 朱福喜 刘莉萍 金涛 高德斌 王丽娜 张焕国 崔竞松

转移系统 并发实时 模型检查 时序分析 不动点 时间Petri网 入侵 分布计算 控制流程图 并发面向对象程序设计 Agent 分布系统 Ada95 时间语义 全局网络定位 网络安全 风险评估 反汇编 压缩规则 二进制分析 远程过程调用 模型 子范畴 风险场 指令签名 划分 同步状态 可达分析 继承异常 安全性

武汉大学计算机学院 武汉大学数学与计算机科学学院国家多媒体软... 武汉大学数学与计算机科学学院国家多媒体软 武汉大学软件工程国家重点实验室 中国科学院软件研究所计算机科学重点实验室 新加坡管理大学 湖北武汉 中国人民解放军96411部队