张超 赵琦 王亚弟 范钰丹 郭渊博 栗帅 王衡军 张畅 陈璐 黄河 张明清 赵宇 王晋东 王全来

综述 私钥元 模型检测 信息系统 多重集合重写 秘密性 令牌 认证 逻辑 移动Ad hoc网络 一致性关系 认证性 问题求解理论 信息安全 分布式 Ad Hoc网络 形式化方法 基本消息元素 安全 移动对手 密码协议 ρ演算 Spi演算 簇 动态安全防护系统 密钥元更新 密码体制 网络 AdHoc网络 证明

解放军信息工程大学电子技术学院 河南郑州 信息工程大学电子技术学院 电子技术学院 信息工程大学