题名 一种基于身份的服务器辅助验证签密方案
1
作者
王彩芬 康步荣
机构
西北师范大学计算机科学与工程学院
出处
《计算机工程》
CAS
CSCD
北大核心
2016年第12期139-144,共6页
基金
国家自然科学基金(61163038 61262057 +1 种基金 61562077) 甘肃省高等学校科研项目(2015B-220)
文摘
为解决已有基于身份的签密算法效率不高的问题,考虑低端设备计算能力弱的特点,引入服务器辅助验证思想,提出一种服务器辅助验证签密方案,通过服务器完成验证过程中的一些复杂运算,减少算法验证阶段的计算量和运行时间,使得签密算法可应用在低端设备上。基于判定双线性Diffie-Hellman问题及计算的Diffie-Hellman困难问题假设,在随机预言模型中,证明该方案满足不可伪造性和机密性。
关键词
签密 基于身份 服务器 辅助 验证 双线性对 随机预言模型 不可伪造性
Keywords
signcryption ID-based server-aided verification bilinear pairing random oracle model unforgeability
分类号
TP309
[自动化与计算机技术—计算机系统结构]
题名 抵抗共谋攻击的服务器辅助验证签名方案
2
作者
牛淑芬 牛灵 王彩芬 蓝才会
机构
西北师范大学计算机科学与工程学院 兰州城市学院信息工程学院
出处
《计算机应用研究》
CSCD
北大核心
2016年第1期229-231,共3页
基金
国家自然科学基金资助项目(61163038 61572077)
文摘
为了使服务器辅助验证算法一次能够验证由不同私钥签名的多个消息,运用聚合签名的思想提出了一个基于聚合签名的服务器辅助验证方案,由服务器执行验证算法中计算代价大的对运算,有效地减少了算法验证阶段的计算量。在服务器可知道签名密钥的假设下,证明了该方案在共谋和适应性选择消息攻击下是安全的。
关键词
服务器 辅助 验证 共谋攻击 计算性Co-Diffie—Hellman问题
Keywords
server-aided verification collusion attacks computational Co-Diffie-Hellman problem
分类号
TP309.7
[自动化与计算机技术—计算机系统结构]
题名 强不可伪造的基于身份服务器辅助验证签名方案
被引量：3
3
作者
杨小东 杨苗苗 高国娟 李亚楠 鲁小勇 王彩芬
机构
西北师范大学计算机科学与工程学院
出处
《通信学报》
EI
CSCD
北大核心
2016年第6期49-55,共7页
基金
国家自然科学基金资助项目(No.61262057) 甘肃省科技计划基金资助项目(No.145RJDA325) +4 种基金 国家档案局科技基金资助项目(No.2014-X-33) 甘肃省高等学校科研基金资助项目(No.2014-A011) 兰州市科技计划基金资助项目(No.2013-4-22) 西北师范大学青年教师科研能力提升计划基金资助项目(No.NWNU-LKQN-13-23 No.NWNU-LKON-14-7)~~
文摘
标准模型下的基于身份签名方案大多数是存在性不可伪造的,无法阻止攻击者对已经签名过的消息重新伪造一个合法的签名,并且验证签名需要执行耗时的双线性对运算。为了克服已有基于身份签名方案的安全性依赖强和计算代价大等缺陷,提出了一个强不可伪造的基于身份服务器辅助验证签名方案,并在标准模型下证明了新方案在合谋攻击、自适应选择身份和消息攻击下是安全的。分析结果表明,新方案有效减少了双线性对的计算量,大大降低了签名验证算法的计算复杂度,在效率上优于已有的基于身份签名方案。
关键词
基于身份服务器 辅助 验证 签名 强不可伪造性 合谋攻击 标准模型
Keywords
ID-based server-aided verification signature strong unforgeability collusion attack standard model
分类号
TP309
[自动化与计算机技术—计算机系统结构]
题名 标准模型下的服务器辅助验证代理重签名方案
被引量：2
4
作者
杨小东 李亚楠 高国娟 王彩芬 鲁小勇
机构
西北师范大学计算机科学与工程学院
出处
《电子与信息学报》
EI
CSCD
北大核心
2016年第5期1151-1157,共7页
基金
国家自然科学基金(61262057 61063041) +6 种基金 甘肃省科技计划(145RJDA325 1308RJYA039) 国家档案局科技项目(2014-X-33) 兰州市科技计划项目(2013-4-22 2014-1-256) 甘肃省高等学校科研项目(2015A-011) 西北师范大学青年教师科研能力提升计划(NWNU-LKQN-13-23)~~
文摘
代理重签名具有转换签名的功能,在云存储、数据交换、跨域身份认证等领域有广泛的应用前景。目前大多数代理重签名方案需要复杂的双线性对运算,无法适用于计算能力较弱的低端计算设备。为了提高代理重签名的签名验证效率,该文给出了双向服务器辅助验证代理重签名的安全性定义,并提出一个高效的服务器辅助验证代理重签名方案,在标准模型下证明新方案在合谋攻击和选择消息攻击下是安全的。分析结果表明,新方案有效减少了双线性对的计算量,大大降低了签名验证算法的计算复杂度,在效率上优于已有的代理重签名方案。
关键词
密码学 服务器 辅助 验证 代理重签名合谋攻击 不可伪造性 标准模型
Keywords
Cryptography Sever-aided verification proxy re-signature Collusion attack Unforgeability Standard model
分类号
TP309
[自动化与计算机技术—计算机系统结构]
题名 抗合谋攻击的服务器辅助验证签名方案
被引量：1
5
作者
杨小东 高国娟 李亚楠 鲁小勇 王彩芬
机构
西北师范大学计算机科学与工程学院
出处
《计算机工程与科学》
CSCD
北大核心
2016年第7期1350-1355,共6页
基金
国家自然科学基金(61262057 61063041) +4 种基金 甘肃省科技计划(145RJDA325 1308RJYA039) 国家档案局科技计划(2014-X-33) 兰州市科技计划(2013-4-22) 西北师范大学青年教师科研能力提升计划(NWNU-LKQN-13-23)
文摘
服务器辅助验证签名能有效降低签名验证的计算量,非常适用于计算能力较弱的低端计算设备,但大多数标准模型下的服务器辅助验证签名方案不能抵抗服务器和签名者的合谋攻击。为了改进服务器辅助验证签名方案的安全性能,提出了一个新的服务器辅助验证签名方案,并在标准模型下证明了新方案在合谋攻击和选择消息攻击下是安全的。分析结果表明,新方案有效减少了双线性对的计算量,大大降低了签名验证算法的计算复杂度,在效率上优于已有的同类签名方案。
关键词
服务器 辅助 验证 签名合谋攻击 双线性对 标准模型
Keywords
server-aided verification signature collusion attack bilinear pairing standard model
分类号
TP391.08
[自动化与计算机技术—计算机应用技术]
题名 基于身份的服务器辅助验证代理重签名方案
被引量：1
6
作者
杨小东 李亚楠 周其旭 高国娟 王彩芬
机构
西北师范大学计算机科学与工程学院
出处
《计算机工程》
CAS
CSCD
北大核心
2017年第4期166-170,176,共6页
基金
国家自然科学基金(61262057 61662069) +5 种基金 甘肃省科技计划项目(145RJDA325) 国家档案局科技计划项目(2014-X-33) 甘肃省高等学校科研计划项目(2014-A011) 兰州市科技计划项目(2013-4-22) 西北师范大学青年教师科研能力提升计划项目(NWNULKQN-13-23 NWNU-LKQN-14-7)
文摘
在现有的多数基于身份代理重签名方案中,签名验证过程包含有复杂的双线性对运算,由于执行耗时较长,使其在计算能力较弱的低端计算设备上适用性较低。为提高签名验证效率,结合服务器辅助验证签名和基于身份的代理重签名,引入基于身份的服务器辅助验证代理重签名体制,并给出其安全性定义。设计一个新的服务器辅助验证代理重签名方案,在合谋攻击、自适应选择身份和消息攻击下证明方案的安全性。分析结果表明,该方案将签名验证的大部分计算任务委托给服务器执行,有效减少了双线性对的计算量,降低了签名验证算法的计算复杂度。
关键词
服务器 辅助 验证 代理重签名双线性对 多线性映射 合谋攻击 计算复杂度
Keywords
sever-aided verification proxy re-signature bilinear pairing multi-linear mapping collusion attack computational complexity
分类号
TP309
[自动化与计算机技术—计算机系统结构]
题名 一种服务器辅助验证聚合签名方案的安全性分析及改进
7
作者
杨小东 李亚楠 周其旭 高国娟 王彩芬
机构
西北师范大学计算机科学与工程学院
出处
《计算机工程》
CAS
CSCD
北大核心
2017年第1期183-187,共5页
文摘
为提高服务器辅助验证聚合签名的安全性,在共谋攻击和自适应选择消息攻击下,提出一种新的服务器辅助验证聚合签名的安全模型。分析了牛淑芬等人(计算机应用研究,2015年第7期)提出的基于聚合思想的服务器辅助验证签名方案的安全性,发现该方案无法抵抗服务器与非法签名者的共谋攻击。针对该安全性缺陷,在新的安全性定义下提出一种改进方案,并在共谋攻击和自适应选择消息攻击下证明了新方案是安全的。分析结果表明,该方案能有效降低签名验证算法的计算复杂度,并具有固定的聚合签名长度。
关键词
服务器 辅助 验证 聚合签名共谋攻击 半可信服务器 非法签名者 双线性对
Keywords
server-aided aggregate verification signature collusion attack half-trusted server signature forger bilinear pairing
分类号
TP309
[自动化与计算机技术—计算机系统结构]
题名 无线移动终端的SAV协议的形式化建模与模型检测
8
作者
谢光颖 龙士工 杨翰文
机构
贵州大学计算机科学与信息学院
出处
《计算机应用研究》
CSCD
北大核心
2014年第6期1877-1879,1882,共4页
基金
国家自然科学基金资助项目(61163001)
文摘
公钥数字签名方案中验证方是低运算能力的移动智能设备时,验证方在验证过程中需要借助于服务器来辅助验证。SAV(server-aided verification)协议是一个对无线移动终端实现辅助计算和签名验证的协议,利用有限状态机对该协议中签名方、验证方以及服务器进行形式化建模,并使用NuSMV工具对SAV协议模型检测,目的是验证该协议的签名方案有效性、防欺骗性和不可否认性。实验结果表明该协议存在服务器和签名方联合欺骗和否认的缺陷,最终分析其原因和提出针对性的改进方案。
关键词
服务器 辅助 验证 协议模型检测 NuSMV工具 有限状态机 计算树逻辑
Keywords
SAV protocol model checking NuSMV tools FSM CTL
分类号
TP309
[自动化与计算机技术—计算机系统结构]
题名 安全的服务器辅助验证代理重签名方案
9
作者
李海芸
机构
天水师范学院电子信息与电气工程学院
出处
《天水师范学院学报》
2015年第5期4-7,共4页
文摘
大多数代理重签名方案需要复杂的双线性对运算,无法适用于计算能力较弱的低端计算设备。为了提高签名验证算法的计算性能,提出了一个可证明安全的双向服务器辅助验证代理重签名方案,能有效抵抗合谋攻击和选择消息攻击。分析结果表明,新方案减少了复杂的双线性对运算,提高了签名验证速度,在效率上优于同类代理重签名方案。
关键词
服务器 辅助 验证 签名代理重签名 双线性对 合谋攻击
Keywords
sever-aided verification signature proxy re-signature bilinear pairing collusion attack
分类号
TP309
[自动化与计算机技术—计算机系统结构]
题名 基于身份的服务器辅助验证部分盲签名方案
10
作者
任小康 陈培林 曹源 李亚楠 杨小东
机构
西北师范大学计算机科学与工程学院
出处
《计算机应用》
CSCD
北大核心
2016年第11期3098-3102,共5页
基金
国家自然科学基金资助项目(61662069 61262057) +6 种基金 甘肃省科技计划项目(145RJDA325) 国家档案局科技项目计划项目(2014-X-33) 甘肃省高等学校科研项目(2014-A011 2015B-220) 兰州市科技计划项目(2013-4-22) 西北师范大学青年教师科研能力提升计划项目(NWNU-LKQN-13-23 NWNU-LKQN-14-7)~~
文摘
为了克服基于身份部分盲签名方案的安全性依赖强和签名验证计算开销大等缺陷,结合基于身份的部分盲签名和服务器辅助验证签名,提出了基于身份的服务器辅助验证部分盲签名体制,将签名验证的大部分计算任务委托服务器执行,有效减少了验证者的计算开销。利用双线性映射,设计了一个具体的基于身份服务器辅助验证部分盲签名方案,并在标准模型下证明所提方案是安全的。分析结果表明,所提方案大幅降低了签名验证算法的计算复杂度,在效率上优于Li方案(LI F,ZHANG M,TAKAGI T.Identity-based partially blind signature in the standard model for electronic cash.Mathematical and Computer Modelling,2013,58(1):196-203)和Zhang方案(ZHANG J,SUN Z.An ID-based server-aided verification short signature scheme avoid key escrow.Journal of Information Science and Engineering,2013,29(3):459-473)。
关键词
基于身份的服务器 辅助 验证 部分盲签名 不可伪造性 双线性对 标准模型
Keywords
ID-based server-aided verification partially blind signature unforgeability bilinear pairing standard model
分类号
TP309
[自动化与计算机技术—计算机系统结构]
题名 基于DAA的轻量级多商家多重息票系统
被引量：2
11
作者
柳欣 徐秋亮 张波
机构
山东青年政治学院信息工程学院 山东省高校信息安全与智能控制重点实验室(山东青年政治学院) 山东大学计算机科学与技术学院 济南大学信息科学与工程学院
出处
《通信学报》
EI
CSCD
北大核心
2016年第9期30-45,共16页
基金
国家自然科学基金资助项目(No.61173139) 山东省自然科学基金资助项目(No.ZR2015FL023 +2 种基金 No.ZR2014FL011) 山东省高等学校科技计划资助项目(No.J14LN61) 山东青年政治学院博士科研启动经费资助项目(No.14A007)~~
文摘
基于Brickell等的DAA(direct anonymous attestation)方案提出一个支持多商家环境的多重息票系统。新系统将多重息票中的关键元素与抗篡改的TPM(trusted platform module)芯片进行绑定,从而能更有效地阻止用户的共享行为。新系统的构造过程使用了Chow等的服务器辅助签名验证技术、Yang等的自盲化证书技术以及Peng等的区间证明技术,使用户在息票发布和兑换协议中均无需执行低效的对运算。相对于多个同类系统,新系统同时满足多个较理想的性质,而且与ARM TrustZone平台上的移动支付框架兼容。此外,新系统在通信和运算耗费方面具有明显优势。
关键词
多重息票 直接匿名证明 服务器 辅助 签名验证 区间证明 不可分割性
Keywords
multi-coupon direct anonymous attestation server-aided signature verification range proof unsplittability
分类号
TN918.2
[电子电信—通信与信息系统]
