已阅读5页,还剩1页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
协议安全性 定理 1: 如果 GDH 问题在群 G 中是困难的,å 是一个选择消息攻击下存在性不 可伪造的签名方案, H1 , H 2 , H 3 , H 4 是独立的随机谕示,则 emBD 协议在本文所 给的模型中是安全的,并且有 GKE AdvM ,emBD (t £ 2 qH 3 2 t GDH + 2nSuccå (t + 2qSe ( nqH 2 SuccG (t 2 H1 + nq q + qH 3 2 t , 其中 qSe 表示攻击者发起 Send 查询的次数,qH1 , qH 2 , qH3 表示对随机谕示 H1 , H 2 , H 3 查询的次数。 15 September 2006 N. Asokan, Kaisa Nyberg 11 协议安全性 证明:证明思路是通过攻击者 M 构造一个解决GDH假设的算法S,如果攻 击者成功区分真实密钥与随机数,则表示算法S可以成功解决GDH假设。 下面通过系列游戏进行证明,用WiniGKE 表示攻击者赢得第i 个游戏。 通过5个游戏证明定理1的结论。 15 September 2006 N. Asokan, Kaisa N
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 文化活动网络口碑管理考核试卷
- 文具制造业的数字化转型与智能化发展考核试卷
- 金属加工基础理论与实践考核试卷
- 放疗导致皮肤问题的护理
- 课后作业提升7
- 金属加工设备人因工程与操作界面考核试卷
- 山东菏泽郓城县县属国企招聘笔试题库2024
- 啤酒品牌的市场定位与消费者行为分析考核试卷
- 2024年速冻调理肉制品项目合作计划书
- 冷藏车运输行业标准化工作流程优化与实施考核试卷
- 2024年电子行李秤项目成效分析报告
- 成都二手房买卖合同2024年
- 教学计划(教学计划)-2024-2025学年大象版五年级科学上册
- 2024年江苏高考语文试题(含答案)
- 2024年北京市中考英语试卷附答案
- Unit 1 单元测试卷2024年秋人教版新教材七年级英语上册
- 2024年03月上海市嘉定区江桥镇2024年公开招考20名基层工作人员笔试近年2018-2023典型考题及考点剖析附答案带详解
- 2024年投资合同模板
- 2024新沪教版英语初一上单词表
- 西师版五年级上册数学全册教案设计
- SF-36生活质量调查表(SF-36-含评分细则)
评论
0/150
提交评论