论文部分内容阅读
本论文的重点和创新点在于:给出了匿名群体身份识别协议和抗重设攻击的身份识别协议的安全性定义,并在标准的困难问题的假定下给出了系统的完备性、可靠性和安全性证明。 匿名群体身份识别方案方面,一方面,首先把De Santis,Crescenzo和Persiano(SCP)的匿名群体身份识别方案扩展到基于离散对数问题上,然后给出有效的3轮匿名身份识别方案。对证明者(或验证者)而言,本文的3轮身份识别方案的计算量为(m+1)个指数计算,而以1/(2~n)的概率接受非法群体成员的通信量为(m+2)n比特,其中m为用户的个数,n为安全参数p(p=2q+1,p,q为两个大素数)的比特长度。另一方面,本文把原始的De Santis,Crescenzo和Persiano的匿名身份识别方案扩展到一般的每个用户拥有自己独立选取的不同的公钥的情况。执行协议每轮需要的通信量为2mk,其中k为公钥n的比特长度,m为群体用户的个数。 抗重设攻击身份识别方面,本文设计了一个基于Cramer-Shoup测试函数(包括Cramer-Shoup基本方案和变种)的身份设别方案。这一方案在后处理过程攻击模型(post-processing model)下是抗重设攻击的。方案完备性、可靠性证明是基于Diffe-Hellman判定问题是难的以及强无碰撞散列函数是存在的这两个假设完成的。