门限签名方案和认证协议的设计与分析
文献类型：学位论文
| 作者 | 王贵林 |
| 学位类别 | 博士 |
| 答辩日期 | 2000 |
| 授予单位 | 中国科学院软件研究所 |
| 授予地点 | 中国科学院软件研究所 |
| 关键词 | 门限签名 数字签名 认证协议 形式化分析 知识证明 秘密共享 信息安全 密码学 |
| 学位专业 | 计算机应用技术 |
| 中文摘要 | 本文的研究分三个部分：基本概念和工具，门限签名方案的设计和分析，以及认证协议的设计和形式化分析。主要研究结果如下。在第一部分——基本概念和工具中，主要研究了离散对数知识证明协议和秘密共享方案，取得的主要结果是：（1）提出一个双重离散对数的知识证明协议，满足知识证明的完备性、合理性和零知识性；（2）推广了B.Schoenmakers的可公开验证的秘密共享方案（PVSS），得到了分布式的可公开验证的秘密共享方案（DPVSS）。在第二部分-门限签名方案的设计和分析中，取得的主要结果是：（3）得到了两个安全、高效的门限RSA签名方案，详细分析了这两个方案的安全性；（4）指出了目前关于离散对数型门限签名的两个最好结果的缺陷；（5）指出了一个离攻对数型的门限不可否认签名方案（LWC方案）的安全问题；（6）设计了一个离散对数型的、安全、高效的门限不可否认签名方案，并分析了其安全性；（7）设计了第一个基于RSA密码系统的门限不可否认签名方案，并分析了该方案的安全性；（8）第一次明确地提出了门限群签名的定义，给出了高效、安全的门限群签名方案所应该满足的八条性质；（9）分析了四个门限签名方案的安全缺陷；（10）提出了设计一个高效、安全的门限群签名方案这一公开问题。在第三部分-认证协议的设计和形式化分析中，取得的主要结果是：（11）综合、提炼了八条重要的认证协议设计准则，给出了对认证协议的一个新的攻击分类；（12）发现了对三个认证协议的六种攻击方法，并对其中的两个协议给出了改进版本；（13）对四种著名的BAN类逻辑作出了分析和比较，指出了各自的优缺点；（14）对我们改进的两个认证协议，给出了使用BAN逻辑和SVO逻辑形式化分析的结果。 |
| 语种 | 中文 |
| 公开日期 | 2011-03-17 |
| 页码 | 168 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/6832]  |
| 专题 | 软件研究所_中科院软件所_中科院软件所 |
| 推荐引用方式 GB/T 7714 | 王贵林. 门限签名方案和认证协议的设计与分析[D]. 中国科学院软件研究所. 中国科学院软件研究所. 2000. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。