赵保华 何炎祥 袁晓东 顾毓清 徐向英 吴宇琼 王志刚 张基温 王玉斐 王超 汤小康 张立臣 管晓宏 何建波 卿斯汉 梁金千 黄谦 徐升华 郭雄辉 屈玉贵 杨鹤标 贾育 顾健 郑国梁 曹步文 胡劲松 吴方君 宋强 朱俊武

形式化 时序状态转换系统 形式化描述 ERP 规格说明 消息驱动 过程代数CSP ZEVES定理证明器 框架 过程描述语言 面向对象 扩充 PZ网 基于进程的访问控制 软件再工程 安全模型 特征空间 范例推理 BLP模型 信息安全 构件语义 网络入侵检测系统 Petri网 软件构件 系统依赖图 软件复用 统一建模语言 安全不变式 攻击分类方法 形式化方法