匿名群体及抗重设攻击身份识别方案研究

摘要

该论文的重点和创新点在于:给出了匿名群体身份识别协议和抗重设攻击的身份识别协议的安全性定义,并在标准的困难问题的假定下给出了系统的完备性、可靠性和安全性证明.匿名群体身份识别方案方面,一方面,首先把De Santis,Crescenzo和Persiano(SCP)的匿名群体身份识别方案扩展到基于离散对数问题上,然后给出有效的3轮匿名身份识别方案.对证明者(或验证者)而言,该文的3轮身份识别方案的计算量为(m+1)个指数计算,而以1/2n的概率接受非法群体成员的通信量为(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判定问题是难的以及强无碰撞散列函数是存在的这两个假设完成的.

目录

摘要

Abstract

第一章绪论

1.1身份识别方案的提出

1.2身份识别方案的发展和重要性

1.3对身份识别的攻击方式

1.4身份识别方案的发展与现状

1.5本文的工作及意义

1.5.1匿名群体身份识别方案

1.5.2抗重设身份识别协议

1.6本论文的章节安排

第二章匿名群体身份识别方案的设计与安全分析

2.1引言

2.1.1匿名群体身份识别方案

2.1.2简单修改的SCP方案

2.1.3 下一步的工作

2.2概念和定义

2.3基本的匿名身份识别方案

2.3.1协议的描述

2.3.2安全分析

2.3.3基本的匿名身份识别方案的变种

2.3.4安全分析

2.4不同模的匿名群体身份识别协议

2.4.1不同模的匿名群体身份识别协议

2.4.2安全分析

2.5小结

2.5.1本文的工作

2.5.2进一步的工作

第三章：Cramer-Shoup加密方案的一个变形

3.1基本的Cramer-shoup加密方案

3.2 Cramer-Shoup方案的一个变形

3.3安全性证明

3.4小结

第四章抗重设攻击的身份识别方案设计分析

4.1简介

4.1.1问题的提出

4.1.2相关的工作

4.1.3作者的工作

4.2模型和定义

4.2.1前处理过程模型

4.2.2后处理过程模型

4.3在后处理过程模型下的安全可证明的身份识别方案

4.3.1身份识别协议的描述

4.3.2安全分析

4.4小结

第五章总结

5.1新的匿名群体身份识别方案

5.2抗重设身份识别协议

5.2.1协议小结

5.2.2协议的创新

5.3下一步工作

参考文献

阅卖文献

博士期间发表论文

致谢