收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

门限签名方案和认证协议的设计与分析

王贵林  
【摘要】:本文的研究分三个部分:基本概念和工具,门限签名方案的设计和分析,以 及认证协议的设计和形式化分析.主要研究结果如下. 在第一部分──基本概念和工具中,主要研究了离散对数知识证明协议和 秘密共享方案,取得的主要结果是:(1)提出了一个双重离散对数的知识证明协 议,满足知识证明的完备性、合理性和零知识性;(2)推广了B.Schoenmakers 的可公开验证的秘密共享方案(PVSS),得到了分布式的可公开验证的秘密共享 方案(DPVSS). 在第二部分──一门限签名方案的设计和分析中,取得的主要结果是:(3)得 到了两个安全、高效的门限RSA签名方案,详细分析了这两个方案的安全性; (4)指出了目前关于离散对数型门限签名的两个最好结果的缺陷;(5)指出了一 个离散对数型的门限不可否认签名方案(LWC方案)的安全问题;(6)设计了一 个离散对数型的、安全、高效的门限不可否认签名方案,并分析了其安全性;(7) 设计了第一个基于RSA密码系统的门限不可否认签名方案,并分析了该方案的 安全性;(8)第一次明确地提出了门限群签名的定义,给出了高效、安全的门限 群签名方案所应该满足的八条性质;(9)分析了四个门限群签名方案的安全缺 陷;(10)提出了设计一个高效、安全的门限群签名方案这一公开问题. 在第三部分──认证协议的设计和形式化分析中,取得的主要结果是:(11) 综合、提炼了八条重要的认证协议设计准则,给出了对认证协议的一个新的攻击 分类;(12)发现了对三个认证协议的六种攻击方法,并对其中的两个协议给出 了改进版本;(13)对四种著名的BAN类逻辑作了分析和比较,指出了各自的 优缺点;(14)对我们改进的两个认证协议,给出了使用BAN逻辑和SVO逻辑 形式化分析的结果.


知网文化
【相似文献】
中国期刊全文数据库 前18条
1 禇晶晶;于秀源;;一类门限签名方案的密码学分析与改进[J];杭州师范大学学报(自然科学版);2012年02期
2 钟文国;李晖;;一种动态的门限扩展方案[J];电子科技;2008年10期
3 黄梅娟;张建中;;一个安全有效的门限签名方案[J];计算机工程与应用;2005年36期
4 张秋余;张俊敏;余冬梅;;一种不需要分配中心的门限签名方案[J];计算机工程与应用;2007年16期
5 郭银芳;;对一种带容错性的门限签名方案的安全性分析[J];山西煤炭管理干部学院学报;2011年04期
6 潘红艳;;一种新的前向安全的门限签名方案[J];湖北理工学院学报;2012年05期
7 解建军,李俊红;密钥分发协议及其形式化分析[J];河北师范大学学报;2003年06期
8 卿斯汉;认证协议两种形式化分析方法的比较[J];软件学报;2003年12期
9 李静;肖美华;;网络认证协议攻击的非形式化分析[J];计算机工程与应用;2006年22期
10 林贤金,胡山立;认证协议攻击与非形式化分析[J];小型微型计算机系统;2003年11期
11 张有谊;乜国雷;郑东;;一种可防止合谋攻击的门限签名方案[J];计算机应用与软件;2008年12期
12 于佳;李大兴;;分层的基于身份的动态门限签名方案[J];山东大学学报(理学版);2006年01期
13 徐梦茗;肖聪;江卫;付毅;;认证协议研究概览[J];信息安全与通信保密;2013年04期
14 文静华;张梅;李祥;;一个新的认证协议及其形式化分析[J];计算机工程;2006年08期
15 刘霞;古天龙;常亮;郭云川;;无线认证协议的模型检验分析研究[J];计算机工程与应用;2006年21期
16 董玲;温蜜;陈克非;郑燕飞;;认证协议安全性的非形式化分析[J];小型微型计算机系统;2008年07期
17 杨小东;李春梅;徐婷;王彩芬;;无双线性对的基于身份的在线/离线门限签名方案[J];通信学报;2013年08期
18 孙华;周芳;姚宣霞;邓忠军;;标准模型下可证安全的基于身份的动态门限签名[J];四川大学学报(工程科学版);2010年03期
中国重要会议论文全文数据库 前10条
1 李珂;尚涛;刘建伟;;纠缠对量子认证协议的形式化分析[A];第十一届中国通信学会学术年会论文集[C];2015年
2 庞辽军;李慧贤;王育民;;基于离散对数的门限签名体制[A];中国电子学会第十五届信息论学术年会暨第一届全国网络编码学术年会论文集(上册)[C];2008年
3 侯整风;李汉清;胡东辉;朱晓玲;;基于中国剩余定理的无可信中心门限签名方案[A];2011中国仪器仪表与测控技术大会论文集[C];2011年
4 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
5 顾永跟;傅育熙;朱涵;吕银华;;基于进程演算的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
6 龚晶;关宇;石会;许凤慧;卢娟;;基于网络多用户的量子认证协议[A];第十七届全国量子光学学术会议报告摘要集[C];2016年
7 王英俊;徐明;;无线传感器网络交叉认证协议研究与改进[A];第十七届全国青年通信学术年会论文集[C];2012年
8 刘占斌;刘虹;曹晓飞;;云计算中面向可穿戴设备的共轭证明认证协议[A];第30次全国计算机安全学术交流会论文集[C];2015年
9 牛勇钢;徐国胜;;基于可信计算平台的动态认证协议的设计[A];第十届中国通信学会学术年会论文集[C];2014年
10 崔楠;汪学明;;基于SVO逻辑的电子商务协议非否认性形式化分析[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 王贵林;门限签名方案和认证协议的设计与分析[D];中国科学院软件研究所;2001年
2 王惠斌;安全认证协议的设计与分析[D];解放军信息工程大学;2010年
3 李国文;门限签名体制的研究[D];山东大学;2007年
4 张文芳;门限签名方案的设计与分析[D];西南交通大学;2007年
5 王聪;IEEE 802.22WRAN的认证协议设计与CPE的管理[D];天津大学;2017年
6 张帆;无线网络安全协议的形式化分析方法[D];西安电子科技大学;2007年
7 黄尹;认证协议及其在网络安全系统中的应用研究[D];武汉大学;2010年
8 赵鑫;面向应用的无线传感器网络广播认证协议研究[D];国防科学技术大学;2010年
9 曹雪菲;基于身份的认证协议的理论及应用研究[D];西安电子科技大学;2008年
10 何安平;基于层次模型的混合系统形式化分析与验证[D];兰州大学;2011年
中国硕士学位论文全文数据库 前10条
1 翁艳琴;移动网络漫游认证协议的形式化研究[D];湖北师范学院;2012年
2 杨欣;RFID认证协议研究与设计[D];西安电子科技大学;2014年
3 蔡芸云;基于FPGA的RFID安全认证协议研究[D];东华大学;2013年
4 高丹丹;无线认证协议的模型检测与分析研究[D];长春理工大学;2010年
5 蔡豪;RFID安全认证协议的研究与设计[D];华中科技大学;2010年
6 王艳;混沌技术在RFID安全认证协议中的应用研究[D];河北工程大学;2012年
7 米军利;门限签名方案及其应用研究[D];陕西师范大学;2007年
8 王岩;基于CRT的动态门限签名及其应用研究[D];合肥工业大学;2018年
9 石岚;基于属性的门限签名方案研究[D];哈尔滨工程大学;2014年
10 李汉清;基于中国剩余定理的门限签名方案的设计与实现[D];合肥工业大学;2012年
中国重要报纸全文数据库 前2条
1 闫冰;WLAN选择最佳EAP[N];网络世界;2006年
2 刘晓雅;美国欧盟签署有机食品认证协议[N];中国食品安全报;2012年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978