一个安全的广义指定验证者签名证明系统
- 格式:pdf
- 大小:196.95 KB
- 文档页数:4
2022年职业考证-软考-信息安全工程师考试预测题精选专练VII(附带答案)第1套一.综合题(共25题)1.单选题PKI是一种标准的公钥密码密钥管理平台。
在PKI中,认证中心CA是整个PKI体系中各方都承认的一个值得信赖的、公正的第三方机构。
CA的功能不包括()。
问题1选项A.证书的颁发B.证书的审批C.证书的加密D.证书的备份【答案】C【解析】本题考查PKI和实体CA方面知识。
CA(Certification Authority):证书授权机构,主要进行证书的颁发、废止和更新;认证机构负责签发、管理和撤销一组终端用户的证书。
简而言之CA的功能包括证书的颁发、证书的审批、证书和数字签名等密码服务及所必须的密钥和证书管理体系。
PKI可以解决公钥可信性问题。
基于PKI的主要安全服务有身份认证、完整性保护、数字签名、会话加密管理、密钥恢复。
一般来说,PKI涉及多个实体之间的协商和操作,主要实体包括CA、RA、终端实体(End Entity)、客户端、目录服务器。
2.单选题以下关于BLP安全模型的表述中,错误的是()。
问题1选项A.BLP模型既有自主访问控制,又有强制访问控制B.BLP模型是-一个严格形式化的模型,并给出了形式化的证明C.BLP模型控制信息只能由高向低流动D.BLP是一种多级安全策略模型【答案】C【解析】本题考查BLP安全模型方面的基础知识。
BLP是安全访问控制的一种模型,是基于自主访问控制和强制访问控制两种方式实现的。
它是一种严格的形式化描述,控制信息只能由低向高流动。
它反映了多级安全策略的安全特性。
3.单选题问题1选项A.ECBB.CTRC.CFB【答案】D【解析】本题考查分组密码相关知识。
图为明密文链接工作原理图,即PCBC。
官方教材(第一版)P109。
电码本模式ECB直接利用分组密码对明文的各分组进行加密。
计数模式(CTR模式)加密是对一系列输入数据块(称为计数)进行加密,产生一系列的输出块,输出块与明文异或得到密文。
1、世界上最早的C2C网站是皮埃尔于()年创办的EBAY网站A、1999年B、1995年C、2000年D、1992年2、B2B电子商务模式的萌芽阶段是()。
A、1999年B、2002—2000年C、1998—2000年D、1993年3、下面不是影响定价的主要因素的是()A、成本因素B、地域因素C、供求关系D、市场需求化4、电子货币有三大系统构成:信用卡系统、数字现金系统和()A、IC卡系统B、POS系统C、电子支票系统D、支付宝系统5、以下哪些类型的电子商务不是按所利用的计算机网络划分的?()A、基于淘宝集团购物区域B、基于企业外部网的互联网时代电子商务C、基于互联网的互联网时代电子商务D、基于其他网络的互联网时代电子商务6、下面不是电子商务政务系统的建设原则的是()A、封闭性原则B、可靠性原则C、标准化原则D、统一化原则7、下面不是网络营销与传统营销的区别是()A、营销理念从未改变B、沟通方式的改变C、营销策略的改变D、沟通能力的改变8、中国最早成立c2c网络交易平台的是()A、易趣网B、土豆网C、叮当网D、淘宝网9、SET协议的目标哪项是不对的()A、防止数据被非法用户窃取,保证信息在互联网上的安全传输B、提供一个封闭式的标准,不需要规范协议和消息的格式C、解决多方认证问题,不但对客户的信用卡认证,还对在线商家认证,实现客户和商家、银行间的互相认证D、保证上网交易的实时性、是所有的支付过程都是在线的10、为企业提供一个真正平等、自由竞争的市场环境,是网络营销的()特点A、无限的运作时空B、公平自由的竞争环境C、便捷有效的沟通渠道D、不公平自由的竞争环境12、下面不是包装在物流中的地位与作用的是()A、搬送货物B、保护产品C、方便消费D、保护隐私13、不属于网络广告比较常见的策略有()A、网络广告时段策略B、利益导向策略C、网络创新策略D、广告市场策略14、基于Internet的电子商务是指利用连通全球的Internet开展的互联网时代电子商务活动,所涉及的领域广泛,如( )、在线订货、物流管理等.A、网上订票B、语音聊天C、在线产品信息发布D、微信发红包15、通过Internet展开的商务交易和商务服务,不受地理环境,国家区域等传统商务条件的限制体现了互联网电子商务的()A、全球化B、个性化C、数字化D、优越化16、( )指在流通过程中保护产品,方便储运,促进销售,按照一定技术方法而采用的容器,材料以及辅助物的总体名称。
新的强指定多个验证者签名方案
杨波;肖自碧;杨义先;胡正名;钮心忻
【期刊名称】《北京邮电大学学报》
【年(卷),期】2007(30)5
【摘要】基于Chameleon哈希和D.Boneh的多方密钥协商方案,提出了1个新的强指定多个验证者签名方案.该方案中,只有签名者指定的n个验证者可以各自独立地验证签名,并且即使其中某个指定验证者将自己的秘密值泄露,其他任何人也无法验证签名的真伪.分析表明,新方案满足不可转发性、不可伪造性以及签名者身份保密的性质,并且具有较高的效率.
【总页数】4页(P1-4)
【关键词】指定多个验证者签名;多线性映射;签名者身份保密性
【作者】杨波;肖自碧;杨义先;胡正名;钮心忻
【作者单位】北京邮电大学信息安全中心;武汉科技大学理学院
【正文语种】中文
【中图分类】TP309
【相关文献】
1.广义指定多个验证者有序多重签名方案 [J], 张玉磊;戴小武;韩亚宁;王彩芬
2.一个新的强指定验证者签名方案与证明方法 [J], 赵男;王尚平;王晓峰;杨春霞;王波
3.多个签名者强指定验证者签名方案 [J], 李楠;王尚平;张亚玲;王溪
4.无证书的指定多个验证者代理签名方案 [J], 韩亚宁;王彩芬;张玉磊;程文华
5.新的基于身份的强指定验证者代理签名方案 [J], 向新银;王晓峰;王尚平;林婷婷;王娟
因版权原因,仅展示原文概要,查看原文内容请购买。
第31卷第2期电子与信息学报Vol.31No.2 2009年2月 Journal of Electronics & Information Technology Feb. 2009一个安全的广义指定验证者签名证明系统陈国敏陈晓峰(中山大学计算机科学系广州 510275)摘要:广义指定验证者签名(UDVS) 可以实现任意的签名持有者能向任意的验证者证明签名者确实签署了该签名,而且验证者没有能力向第三方证明该签名是有效的。
这种签名方案可以保护签名持有者的隐私信息,因而在证书系统中有着重要的应用。
然而,UDVS需要签名持有者(designator)与指定的验证者(designated-verifier)通过签名者(signer)的公钥体系来生成自己的密钥对,这在现实情况下是不合理的。
最近,Baek等人(2005)在亚洲密码会提出UDVSP (Universal Designated Verifier Signature Proof)来解决这个问题。
该文首先指出Baek等人所给出的UDVSP协议存在一个安全性缺陷,即不满足UDVS系统中的不可传递性(non-transferability),然后提出一种新的UDVSP协议,并证明该方案满足所定义的安全属性。
关键词:广义指定验证者签名证明;双线性对;承诺协议中图分类号:TN918 文献标识码:A 文章编号:1009-5896(2009)02-0489-04A New Secure Universal Designated Verifier Signature Proof SystemChen Guo-min Chen Xiao-feng(Department of Computer Science, Sun Yat-sen University, Guangzhou 510275, China)Abstract: The notion of Universal Designated Verifier Signature (UDVS) allows any holder of a signature to convince any designated verifier that the signer indeed generated the signature without revealing the signature itself, while the verifier can not transfer the proof to convince anyone else of this fact. Such signature schemes can protect the privacy of signature holders and have applications to certification systems. However, they require the designated verifier to create a public key using the signer’s public key parameter and have it certified to ensure the resulting public key is compatible with the setting that the signer provided. This is unrealistic in some situations.Very recently, Baek et al introduced the concept of Universal Designated Verifier Signature Proof (UDVSP) to solve this problem in Asiacrypt 2005. In this paper, it is first showed that there exits a security flaw in this UDVSP,i.e., it does not satisfy the non-transferability. A new secure UDVSP system is proposed and the system is provedto achieve the desired security notions.Key words: Universal Designated Verifier Signature Proof (UDVSP); Bilinear pairings; Commitment protocol1引言近几年来很多学者力图解决现有数字签名中认证性和隐私性之间的冲突。
Chaum 和 Van Antwerpen[1]首次提出了不可否认性数字签名的概念,它可以让签名者决定什么时候他或她的签名可以被验证。
在另一些情况中,让签名者决定的不仅有特定的时间而且还有特定的人才能验证该数字签名是很重要的。
这就是指定验证者签名[2](DVS)提出的动机。
近年来,许多学者对不可否认签名及指定验证者签名进行了大量的研究,并给出了许多高效的方案[37]−。
Steinfeld等人[8]首次在2003年亚洲密码会提出了有关广义指定验证者签名(UDVS)的概念,这种方案可以看成是2007-09-29 收到,2008-04-14改回国家自然科学基金(60503006)和中韩国际合作研究基金(60611140543)资助课题对DVS的延伸,以解决类似以下例子的信用问题:假设Alice 是A大学的毕业生,她想去B公司找工作,负责面试她的考官Bob要验证她是否拿到A大学的毕业证,而Alice却不想让除Bob外的人知道自己获得了A大学的学位或者没有证据说明她获得了A大学的学位。
由于一般的数字签名满足广义可验证性,所以很难实现Alice的要求。
而广义指定验证者签名(UDVS)可以解决这个问题。
但Steinfeld等人[8]的方案有个缺点是签名持有者(designator在上例中指的是Alice)要与指定的验证者(designated verifier在上例中指的是考官Bob)要通过签名者(signer在这里指的是学校A)的公钥体系来生成自己的公钥和私钥,这样就有个成本问题(可以想像,公司B面对的可能不是一个学校的学生,这就需要存储并计算数量巨大的公钥和私钥,带来巨大的成本,很多公司可能负担不起),如果指定的验证者(desinated-verifier在上例中指的是考官Bob)不合作,那么这种数字签名机制就不490 电 子 与 信 息 学 报 第31卷 能有效地进行,从而使该签名的效率不高。
Baek 等人[9]在2005年亚洲密码会提出了广义指定验证者签名证明(UDVSP)协议来解决这个问题。
UDVSP 可以使指定的验证者(designated-verifier 在上例中指的是考官Bob)省去生成密钥的成本,大大提高该签名系统的效率。
他通过设计一个签名持有者和指定的验证者之间的交互式协议(interactive protocol)来实现要求。
然而,Baek 等人所给出的UDVSP 协议存在一个安全性缺陷,即不满足原来UDVS 中的不可传递性(non-transferability)。
UDVSP 中所用到的零知识证明协议是一个基于诚实验证者的交互式零知识证明协议,然而在UDVSP 中,验证者一般是不诚实的,那么他使用Fiat-Shamir [10] 的方法可以容易地将之转化成一个非交互式零知识证明协议。
所以一个不诚实的验证者可以得到一个证据向其它验证者证明这是原始签名者的签名,从而不满足UDVS 中的不可传递性。
一般来说,无收据的电子投票系统,无滥用的电子合同方案中也存在这样的问题。
本文提出一个新的安全的广义指定验证者签名证明系统,该系统不仅满足UDVSP 所具有的性质,而且它和UDVS 一样满足不可传递性,从而最大程度上保护了用户的隐私。
本文方案的主要思想是使用一个比特承诺方案[11]来构造一个真正的交互式的零知识证明协议,从而满足不可传递性。
所以,本文的主要贡献有两点:(1)指出Baek 等人所提出的两个UDVSP 系统不满足不可传递性,所以它不能达到UDVS 所具有的安全性。
(2)提出一个新的满足不可传递性的UDVSP 系统,该系统可以安全代替UDVS 使用。
2 预备知识2.1 双线性对(Bilinear pairings)[12]令1G 是一个阶为素数q 的加法群,2G 是一个阶为q 的循环乘法群,双线性对是指满足下列性质的一个映射e :(1)双线性:对任意的1,,P Q r G ∈,*,R qa b Z ∈,(,)e aP bQ(,)abe P Q =。
(2)非退化性:对任意的1P G ∈,存在1Q G ∈,使得(,)e P Q 1≠。
(3)可计算性:对所有的1,P Q G ∈,存在有效的算法(,)e P Q 。
定义1 离散对数问题(DLP):给定2个群元素,P Q 计算整数n ,使得Q nP =。
定义2 判定Diffie-Hellman 问题(DDHP):对,,a b c ∈*R qZ ,1P G ∈而言,给定,,,P aP bP cP 判定mod c ab q =。
定义3 计算Diffie-Hellman 问题(CDHP):对,,a b c ∈*R qZ ,1P G ∈而言,给定,,,P aP bP cP ,即计算abP 。
在群1G 中,当DDHP 容易计算但CDHP 计算困难时,称1G 为Gap Diffie-Hellman (GDH) 群。
同时,我们假定1G 和2G 上的DLP 和CDHP 都是困难的。
GDH 群能在有限域上的超奇异椭圆曲线或超椭圆曲线上找到,而双线性对可由Weil 对和Tate 对获得。
定义4 OMDL 问题(OMDLP):“One more DiscrateLogarithm ”的概念是由Bellare [13]提出的。
这个问题的过程可以描述如下:Experiment :令 12(,,,,,)SP q p e G G k =为系统参数。
有一个多项式时间的攻击者A m 次询问挑战预言(.)C ,n 次询问挑战预言(.)DL 。
令,(.),(.)12()()p q C DL n s ,s ,,s ASP ←"。
Output :如果11()()m s s m g h g h =∧∧=",并且n m <,则返回1,反之,返回0。
(其中12,,,m h h h "为挑战预言(.)C 的输出)。