谢文海 戴英侠 张兆心 胡铭曾 郭伟 肖美华 杜金辉 赵华伟 李大兴 李莉 肖丽萍 许剑卓 张彦肖 李俊 程莹 刘涛 傅坚 陈灿 左英男 周敬利 马英杰 张焕国 何文才 王立斌 解云峰 李之棠 石曙东 夏涛 何丽 王张宜

Kailar逻辑 TLS协议 密钥交换 单向函数 扩展的BAN逻辑 公钥认证协议 演化计算 形式化分析密码协议 缺陷 形式化分析 Kerberos协议 Needham-Schroeder协议 安全性分析 认证协议 属性证书 M-SET 验证代理 密码协议 授权 移动电子商务 Otway-Rees 拒绝服务攻击 安全套接字 Ad hoc网络 无线接入 网络安全协议 安全 授权管理基础设施 电子商务协议 安全路由协议