钱婕 陈中育 陈尘 孟庆东 李兆麟 胥光辉 李明

UML IP核验证 NET SQL DARPA2000数据集 三层结构模式 CS 信息系统 客户服务器 大型机终端 入侵检测系统 EMIF模块 汽车维修管理系统 面向对象 开发框架 可约束随机验证 服务器聚集 参数化 Snort

浙江师范大学数理与信息工程学院 浙江交通技师学院信息工程系 深圳罗源文锦通信中心 解放军理工大学指挥自动化学院