基于刚性与相似性概念的密码协议分析方法

来源 :计算机学报 | 被引量 : 0次 | 上传用户：fdgbh54g45g44

【摘要】

：

如何融合计算密码学与形式演算模型两条途径以有效分析和证明复杂密码协议,是信息安全领域富有挑战性的问题之一.文中提出Dolev-Yao刚性和Dolev-Yao相似性概念,运用密码协议

【作者】

：

田园王颖金锋金月

【机构】

：

大连理工大学软件学院,大连理工大学数学科学学院

【出处】

：

计算机学报

【发表日期】

：

2009年4期

【关键词】

：

计算密码学形式模型 UC-相似 Dolev-Yao刚性 Dolev-Yao相似性 computational cryptography symbolic m

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

如何融合计算密码学与形式演算模型两条途径以有效分析和证明复杂密码协议,是信息安全领域富有挑战性的问题之一.文中提出Dolev-Yao刚性和Dolev-Yao相似性概念,运用密码协议的语法骨架提取与语义赋值技术,建立起一个能涵盖除具有适应性入侵能力之外的任何主动攻击者和大部分有实际意义的非自由消息代数的理论分析框架.该框架内所证明的协议安全性质具有复合-稳定性,即所证明的安全性质在协议与环境复合时仍然保持成立.文中针对strand-图模型这一具体情形证明了Canetti的UC-相似性概念与这里所建立的Dol

其他文献

面向知识经济的企业管理初探

期刊

知识经济企业管理企业重建顾客驱动绿色管理

加强产学研合作促进企业技术创新

当前,产学研合作是技术创新和制度创新的重要形式之一,是跨越发展高新技术产业的有效形式.

期刊

产学研合作企业技术创新

国有企业的发展与信息化建设

随着国家实施西部大开发和我国即将加入世贸组织,国有企业面临的形势更加严峻,竞争更加激烈,企业的信息化建设迫在眉睫.

期刊

国有企业信息化建设中国信息资源管理资金人员素质现代企业制度