韩进 蔡圣闻 王崇峻 谢俊元 黄皓 黄康宇 吕志军 吴礼发 贺正求 谢立 金毅 徐宁

序列假设测试 攻击 入侵检测系统 防御 安全预警 πt演算 多模式串匹配 类型化系统 形式化方法 攻击过程检测 并行处理 攻击行为 攻击过程 测试 攻击模型 负载均衡 Web服务 MP2BM算法 流量划分 安全协议模型 BM算法 入侵检测 安全 安全协议验证

江苏南京 南京大学计算机科学与技术系 江苏南京210093解放军理工大学指挥自... 南京大学计算机科学与技术系计算机软件新技... 解放军理工大学指挥自动化学院计算机系 解放军理工大学指挥自动化学院研究生管理大... 解放军理工大学指挥自动化学院计算机系南京 南京大学软件新技术国家重点实验室