林惠民 黄河燕 冯登国 陈肇雄 刘吉强 沈海峰 林东岱 石昊苏 曹天杰

判定过程 可忽略函数 扩展串空间 丛最大结点 良序丛 计算复杂性 JFK 代理多签名 IKE2 模型检测 Tableau 实数加法 量词的界 形式化分析 密码学可靠性 量词消去 有界单向函数 诚实理想 理想 传值进程 Dolev-Yao模型 μ-演算 单向函数 AVSP 串空间 多项式谱 算法 密码分析 代理签名 求逆算法

安徽合肥230026中国科学院计算机语言... 中国科学院软件所信息安全国家重点实验室 安徽合肥 中国科学院软件研究所信息安全国家重点实验... 中国科学院软件研究所计算机科学实验室 中国科学技术大学计算机科学系 中国科学院软件研究所计算机科学开放研究实... 北京交通大学计算机与信息技术系