邱红丽 李建中 王琴 董晓蕾 王圣宝 楼健 李继国 张亦辰

形式化定义 离散对数 可证安全 门限方案 键词:网络安全模型 电子现金 盲签名 代理签密 身份基密码学 强RSA假定 监听 门限密码学 认证密钥协商 代理多重签名 ElGamal体制 匿名性 代理签名 标准模型 可分性 电子商务 证券网上交易 双线性配对 数字签名 双线性群对 不可否认性 托管代理 双通道 密钥托管 门限代理签名 前向安全

上海交通大学计算机科学与工程系 哈尔滨工业大学计算机科学与工程系 哈尔滨工业大学计算机科学与技术学院 上海交通大学计算机科学与技术系 中国人民解放军炮兵学院计算中心合肥 上海交通大学计算机系 哈尔滨工业大学计算学院