基于累加器的可撤销匿名凭证系统的研究与实现

目录

声明

摘要

第1章绪论

1．1研究背景与意义

1．2国内外研究现状

1．2．1匿名凭证研究现状

1．2．2属性证明研究现状

1．2．3凭证撤销研究现状

1．3本文主要工作

1．4结构安排

第2章相关理论知识以及技术介绍

2．1密码学相关理论

2．1．1基础理论

2．1．2椭圆曲线密码学

2．1．3 Pedersen承诺机制

2．1．4知识的零知识证明协议

2．2数字签名方案

2．3相关签名方案

2．3．1 BLS数字签名方案

2．3．2 BGLS数字签名方案

2．3．3 AGH数字签名方案

2．4 CKS密码学累加器

2．5 BLS+数字签名方案

2．5．1 BLS+签名算法

2．5．2 BLS+签名的安全证明

2．6 BGLS+数字签名方案

2．6．1 BGLS+签名算法描述

2．6．2 BGLS+签名的安全证明

2．7匿名凭证系统的定义

2．8本章小结

第3章可撤销匿名凭证系统的研究方案

3．1系统概述

3．2可撤销凭证颁发协议

3．2．1属性编码

3．2．2协议设计

3．3凭证撤销协议

3．4属性AND关系证明协议

3．5本章小结

第4章可撤销匿名凭证系统的设计与实现

4．1实体类设计

4．1．1 Issuer类设计

4．1．2 Accumulator类设计

4．1．3 Prover类设计

4．1．4 Verifier类设计

4．2匿名凭证颁发协议的实现

4．3凭证撤销协议的实现

4．4属性AND关系证明协议的实现

4．5本章小结

第5章性能分析

5．1开发环境

5．2系统实现

5．3时间复杂度分析

5．3．1属性AND关系证明协议的性能比较

5．3．2属性AND关系证明的响应时间

5．4凭证撤销协议的性能分析

5．5本章小结

第6章总结与展望

参考文献

致谢