刘丹青 屈劲 樊睿 杨永琴 刘云芳 杨世勇 俞惠芳 蓝才会 程文华 白荷芳 王之仓 葛建华 杨晓亚 崔振文 左为平

基于身份的签名 非否认性 代理签名 数字签名 半可信第三方 带盲密文的可验证加密 BDH问题 指定验证人 公平交换 签密 Takagi函数 HOARE逻辑 计算Diffie-Hellman问题 消息恢复 自认证签密 公平性 Weierstrass函数 Hausdorff测度 双线性对 电子商务 最弱前置谓词 基于身份 确定性程序 不可伪造性 保密性 盲化的可验证加密 多接收者签密 公开可验证加密 程序验证 C（）

甘肃兰州 青海师范大学计算机科学系 西北师范大学计算机科学系 河南新乡 陕西西安 河南师范大学数学与信息科学学院 西安电子科技大学国家ISN重点实验室 天水师范学院数学与信息科学学院