可证明安全性理论与方法研究

【摘要】：论述了可证明安全性理论在安全方案与安全协议的设计与分析中的应用,内容主要包括:什么是可证明安全性,可证明安全性理论涉及到的一些基本概念,RO(randomoracle)模型方法论的基本思想及其在公钥加密和数字签名等方案中的应用研究进展,标准模型下可证明安全性理论在公钥加密和数字签名等方案中的应用研究进展,以及可证明安全性理论在会话密钥分配协议的设计与分析中的应用研究进展.

下载App查看全文

下载全文更多同类文献个人查重>>智能排版>>

PDF全文下载

CAJ全文下载

(如何获取全文？欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式，AdobeReader仅支持PDF格式

	【相似文献】
	【相似文献】

中国期刊全文数据库

前19条

1	鲁力,胡磊;改进的基于身份的公钥加密[J];中国科学院研究生院学报;2005年06期
2	莫佳;;数字签名在电子商务中的实现[J];福建电脑;2008年02期
3	覃宝灵;黄海;;RSA公钥加密技术安全性分析与其在电子商务中的应用[J];南宁师范高等专科学校学报;2006年02期
4	;网上身份认证及市场动态[J];中国计算机用户;1999年09期
5	薛忠明;王斌;吴杰;杨瑾;施志宏;;基于RSA的加密技术在网站中的应用[J];山西电子技术;2016年02期
6	王新兵,马征,黄连生,周宏斌;基于角色冒充对数字签名协议的攻击(英文)[J];软件学报;2001年12期
7	史创明,王立新;数字签名及PKI技术原理与应用[J];微计算机信息;2005年08期
8	王立和;;谈加密与数字签名及应用[J];重庆职业技术学院学报;2008年06期
9	刘家芬;周明天;;对安全协议重放攻击的分类研究[J];计算机应用研究;2007年03期
10	范红,冯登国;安全协议形式化分析的研究现状及有关问题[J];网络安全技术与应用;2001年08期
11	冯登国;陈伟东;;基于口令的安全协议的模块化设计与分析[J];中国科学(E辑:信息科学);2007年02期
12	陶宏才;何大可;;基于攻击层次的重放攻击分类[J];西南交通大学学报;2007年03期
13	崔凯;;基于数字证书的网上支付系统的安全性分析[J];计算机光盘软件与应用;2012年21期
14	陈建熊;孙乐昌;;认证测试对分析重放攻击的缺陷[J];计算机应用研究;2009年02期
15	王浩亮;;网上数字签名系统[J];电脑编程技巧与维护;2007年01期
16	胡声洲;罗南;卢震辉;;安全协议重放攻击的关联性分析[J];电脑知识与技术(学术交流);2007年20期
17	张永明;PKCS-11标准简介[J];网络安全技术与应用;2003年03期
18	邓珂;;在企业局域网中实现数据加密和数字签名[J];网络安全技术与应用;2006年01期
19	周雅洁;关焕梅;陈萍;张晶伟;;安全协议的自动化设计[J];计算机工程;2007年20期

中国重要会议论文全文数据库

前1条

1	顾冠群;孙涛;;数字签名——加密、鉴别和实现设想[A];第三次全国计算机安全技术交流会论文集[C];1988年

中国博士学位论文全文数据库

前1条

1	范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年

中国硕士学位论文全文数据库

前3条

1	易磊;小型PKI的设计与实现[D];北京邮电大学;2007年
2	马瑞;基于加密扩展的DNS安全系统[D];华中科技大学;2014年
3	费向东;电子商务中基于数字签名的安全协议研究[D];南京工业大学;2005年

	快捷付款方式		订购知网充值卡	订购热线	帮助中心
	微信支付支付宝银行卡	知网卡在线购卡更多>>	免费送卡上门银行汇款购卡邮局汇款购卡	400-819-9993 010-62982499 010-62783978	常见问题在线咨询阅读器下载	充值中心知网卡新手指南