孙晓梅 许静 赵波 朱福喜 王丽娜 韩光鹏 刘莉萍 熊晖 杜瑞颖 张焕国 秦祖福 祝延波 张燕 杨刚 程斌林 程勇

安全性 人才培养 攻击模式 入侵检测 网络鲁棒性 风险评估 谓词逻辑 节点 信息安全 线性归结 电子商务 信息科学技术 注解逻辑 可信软件 图论 有序二叉决策图 并行计算 布尔函数 死锁 学科建设 分布计算 防火墙规则库 规则匹配 远程会合 次协调 结构完整性 次协调反驳 模型检查 恶意软件 数据挖掘

武汉大学计算机学院 湖北武汉 武汉大学计算机科学与技术学院 武汉生物制品研究所信息中心 贵州大学信息工程学院 安徽宿州 宿州学院物理与电子工程系 贵州贵阳