用于密码协议安全性证明的串空间模型

来源 :合肥工业大学学报(自然科学版) | 被引量 : 0次 | 上传用户：naomi

【摘要】

：

形式化分析是密码协议安全性证明的一个有效途径.串空间模型是在Dolev-Yao代数模型的基础上,结合Woo-Lam模型、CSP、Schneider秩函数和Paulson归纳法等方法的优点所提出的一

【作者】

：

王焕宝张佑生侯整风

【机构】

：

合肥工业大学

【出处】

：

合肥工业大学学报(自然科学版)

【发表日期】

：

2005年5期

【关键词】

：

串空间密码协议形式化分析不变集 strand space cryptographic protocol formal analysis invari

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

形式化分析是密码协议安全性证明的一个有效途径.串空间模型是在Dolev-Yao代数模型的基础上,结合Woo-Lam模型、CSP、Schneider秩函数和Paulson归纳法等方法的优点所提出的一种新的密码协议形式化模型,它可为密码协议安全性的证明提供新的方法.文章介绍了串空间模型的研究背景,分析它的架构和特点,综述有关研究工作,并分析其进一步的研究趋势.

其他文献

从话剧《杜鹃山》到京剧《杜鹃山》

“家住安源萍水头，三代挖煤做马牛……”优美抒情的京剧唱腔回响在我的耳畔，又把我带回到了《杜鹃山》色彩斑斓的戏剧场景之中。这部作品曾经感动过千百万观众，但人们未必知道，在

期刊

《杜鹃山》京剧唱腔话剧戏剧场景

别把音乐剧做成死板的历史课

去年值反法西斯战争胜利70周年之际，许多纪念活动、文艺作品纷纷以此为题展开创作。只是内容扎堆了，一味就着战争说战争，难有新意。这之中，上海音乐学院却在自身历史素材中找到了新的创作基础，所推出的音乐剧《海上音》在题材和内容上给了我们一些新鲜的视角：战争、音乐和犹太人，历史的机遇让它们连接到一起，《海上音》的故事就从这三者的联系中开始。　　二战伊始，德国纳粹忙着干两件事，一是扩张版图，二是反犹直至屠犹

期刊

历史课历史素材上海音乐学院纪念活动日本侵略者文艺作品中国女孩人物命运布鲁斯德国纳粹

在多元化的地球村中探索强院之路

习近平主席2013年3月在莫斯科国际关系学院演讲时表示:"这个世界,各国相互联系、相互依存的程度空前加深,人类生活在同一个地球村里,生活在历史和现实交汇的同一个时空里,越

期刊

国际关系学院美育教育命运共同体中国福利会戏剧舞台历史和现实艺术创作交流平台

论档案公布权

2001年1月4日的<中国档案报>刊登了<档案局被告上法庭的前前后后>一文,该文介绍了河北省南皮县档案局因<张隐韬>一书的出版被卷入一起民事诉讼的过程:

期刊

档案公布权利主体公民权利隐私权档案利用权档案公布权

北疆沿天山一带水土流失表现方式及治理方案浅析

水土流失破坏了自然生态系统的均衡性,造成水土资源大量流失而引起了诸多的危害性。文中结合实际吉木萨尔县的基本情况,分析了北疆沿天山一带水土流失成因及其表现形式,提出

期刊

水土流失形式治理方法监督

浅谈宁化县各溪水库坝基及坝体灌浆治漏的处理

各溪水库由于前期设计的缺陷、施工质量差以及运行时间过长,出现坝基及坝体渗漏水,通过勘察找出坝基及坝体渗漏的原因,坝基设计采用帷幕灌浆,坝体采用补强灌浆的处理措施,使

期刊

各溪水库坝基及坝体灌浆治漏处理

以“数字城市”构建为契机推进档案信息化建设

现代社会的发展已走入了以"数字"、"网络"和"光网"等为标志的信息化发展路径.自美国在1998年首次提出了"数字地球"的概念以来,这一概念立即引起了各国政府、大学、科研机构以

期刊

“数字城市”档案信息化建设档案信息资源建设数据库建设网络安全电子文件管理

用于密码协议安全性证明的串空间模型

与本文相关的学术论文