郭渊博 陈克非 程正杰 魏杰 张玉清 怀进鹏 袁瑞成 李俊红 解建军 王焕宝 张广泉 贾利新 刘秀英 陈少军 薛锐 李忠慧 郑援 张佑生 冯登国 沈昌祥 杨波 冯彬 吕述望 胡成军 郝耀辉 侯整风 张少武 李先贤 邢戈 孙留欣

认证协议 容忍入侵 代数系统 形式化分析 逻辑分析 形式归约 SKEY协议 安全缺陷 形式化方法 不变集 重放攻击 BAN逻辑 有限状态自动机（FSM） PVS 动态链接库 形式分析 新鲜性 入侵检测 运行模式分析法 秘密性 自适应 形式化规范 信息安全 模型检测 无线系统 办公自动化 DominoNotes身份认证 抽象状态机 认证 代理签名