缪祥华 卜奎昊 王威 赵保华 张佑生 张招亮 周颢 王玉磊 胡铭曾 张广泉 张兆心 郭宏刚 郭宇燕 陆超 林东岱 邓淼磊 龙士工 侯整风 卢凤清 王秦 何大可 周跃华 钱兴中 杨晓婕 孙海波 张云生 胡志刚 何良生 张岚 仇细平

口令 安全协议分析 KaoChow加密协议 Denning-Sacco密钥分配协议 应用 认证测试 机密性 安全协议 变换路径 认证测试理论 Kerberos 协议 形式化分析 协议正确性证明 不变集 密码协议 变换实施边 理想 单向陷门函数 认证性 BAN逻辑 Helsinki协议 协议安全性 Yahalom-Paulson协议 80211i 协议分析 SGSR协议 一次性口令 无线网 逻辑语义 椭圆曲线密码