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

形式化定义 离散对数 可证安全 门限方案 键词:网络安全模型 电子现金 盲签名 代理签密

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