张浩军 王惠斌 郑永辉 陈卫红 马明山 常青美 徐洪 陈晨 刘楠

一次签名 形式化分析 低解密指数攻击 协议推导系统 自更新 PDS 协议组合逻辑 公钥密码学 形式化 算法 安全协议 电子交易 前摄更新 项重写 鉴别 IKE协议 密码学 安全属性 ISO-9798-3协议 形式化设计 RSA 循环攻击 Hash链

信息工程大学信息工程学院 解放军信息工程大学信息工程学院 河南司法警官职业学院信息技术系 解放军信息工程大学 信息工程大学网络工程系 河南郑州 河南工业大学计算机工程系