李辉的翻译.docVIP

郑州轻工业学院 本科毕业设计（翻译） 题 目 A ID-Based Deniable Authentication Protocol On Pairing 基于身份的可否认认证协议 学生姓名 李辉 专业班级 信息与计算科学专业06-1班 学 号 200610010113 院 （系） 数学与信息科学系 指导教师（职称） 辛 向 军（副教授） 完成时间 2010年 03 月 27 日 基于身份的可否认认证协议 摘要——可否认认证协议能非常有效地向因特网提供安全谈判，而基于身份的可否认认证协议有一套基于ID体系的密码系统。为了提高效率和安全性，在基于身份的可否认认证协议的基础上，Cha-Cheon签名方案—通过加密一个随机元素和时间戳并签署相应的密文以及基于发送消息的被确认，是一项基于身份的非交互式的从配对到可否认认证协议方案。该协议不仅具有性能上的不可否认性和完整性，同时也增强了安全性。它可以被证明能应对伪造攻击，模拟攻击，破坏协议的密钥攻击以及KCI攻击。Shamir提出了基于身份密码体制的概念—一套允许用户用其身份信息比如他/她的的名字，IP地址电子邮件地址等作为其公钥的IDbased密码体系。于是，为了使可否认身份验证体现基于身份密码体制的优势，一些基于身份的可否认认证协议被提出了G为一个阶为素数q的循环加群，G为具有相同阶的循环乘法群。双线性对定义e:G×G→G，它具有以下性质： 双线性：P,Q G，a,b∈Z，e(aP, bQ) = e(P, Q)。 非退化性：存在P，G使得e(P，)≠1。 可计算性：给定P， G，存在有效算法计算e(P，)。 一个双线性映射满足所有上述三个属性，该双线性映射可以从Weil或Tate [19, 20]配对。 G, G, q, P, e为具有以上属性的参数。下面我们将介绍一些数学问题。(P, aP, bP, cP)，,判定e(P, P) G是否成立G的生成元P和Q∈G，使得Q = nP。找到这个整数n，只要这个证书存在。 计算Diffie - Hellman问题（CDHP）：给定G的生成V元P和任意一个三元组(P，aP，bP)，abP，其中a和b是未知的。 判定Diffie-Hellman问题(DDHP)：对于a，b，c，给定(P，aP，bP，cP)c≡ab mod q是否成立。 本文始终假定BDHP，DLP和CDHP是难以计算的问题，Alice和Bob进行相互沟通。假设G, G, q, e是第二节中描述的连续参数。假设有一个安全的IND-CCA2基于身份的加密算法（引自Boneh and Franklin提出的加密算法G,随机选择s∈Z,设定P= sP. 2)选定加密散列函数H1：{0, 1}*×G→ Z，H: {0, 1}*→G. 系统参数为(P, P, H, H)。主密钥为s，且为PKG已知。，PDK计算出公钥Q= H (ID)以及私钥S = sQ。假设ID和IDAlice和Bob的身份，因此，Alice和Bob的公/私钥分别被表示为Q/和Q/S，此时，Q=H(ID), =s Q, Q= H (ID) ， S=sQ.Alice想要将一条可否认认证消息发送给Bob，她将按照以下步骤进行：Alice在{1,2,…, q},计算U= r Q，并且用BC=Enc (U||T)，在这里，是一个时间标签，然后他开始计算U=rQ,，h=H(C, U),V=(r+ h), h= H (m||T, U), V=(r+h) H, k=e(V, Q)以及MAC=H(k||m||T)，最后，Allice将U, V发送给R。Alice的U, V, C, MAC 和 m后，Bob将进行下列步骤h= H (C, U)并验证e(V, P)=e(U+ h Q, P) 是否成立U||T=Dec (C), 『2 接着，他继续计算h= H(m||T, U) ，k’=e(U+hQS)