胡荣贵 余敏 冯玉才 陈意云 张昱 文剑 叶继华 熊丽琼 王台华 朱虹 黄文文 万宇文

Apriori算法 子定型 数据库 聚合 数据挖掘 面向服务体系结构 入侵检测 携带证明的代码 类型注解 分布式入侵检测 扩展的控制流图 遗传聚类算法 报警 入侵检测系统 移动代码 XML 代理 类型系统 类型安全 证明方法 认证编译器 Web服务 类型检查 安全策略 订阅 通信机制 关联规则 TAAS 项集 类型安全策略

中国科学技术大学计算机科学与技术系 安徽合肥 江西师范大学计算机信息工程学院 华中科技大学计算机系数据库与多媒体研究所 江西南昌 中国科学技术大学计算科学与技术系 中国人民解放军电子工程学院系统工程教研室