韩海强 杜金辉 王亚弟 丁士明 邱罡 陈涵生 王贵林 马建峰 缪力 韩文报 杨波 杨录山 姜楠 刘红 马昌社 谢鸿波 林贤金 孔梦荣 陆震 范成瑜 秦静 史清华 胡正名 谌绍巍 穆灵 张恒山 王立斌 白英彩 陈睿 杨义先

哈希函数 有向图 UBAP CSP方法 数据同步 认证模式 可否认认证 形式化方法 密钥管理中心 扩展的BAN逻辑 攻击 协议证明 密钥协商 隐私保护 BAN逻辑 双线性对 密码学 非交互式协议 激励-响应 密码协议 标签 非形式化方法 NTRU Hash函数 防伪 漫游 会话密钥 类BAN逻辑 串空间模型 安全