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

王焕宝; 张佑生; 侯整风

首页> 中文期刊> 《合肥工业大学学报：自然科学版》 >用于密码协议安全性证明的串空间模型

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《合肥工业大学学报：自然科学版》 |2005年第5期|449-455|共7页
作者
王焕宝; 张佑生; 侯整风;
展开▼
作者单位

合肥工业大学计算机与信息学院;

安徽合肥230009;

展开▼
原文格式 PDF
正文语种 chi
中图分类安全保密;
关键词
串空间; 密码协议; 形式化分析; 不变集;

相似文献

中文文献
外文文献
专利

1. RSA-CEMD协议的分析及基于串空间模型的形式化证明 [J] . 卜凡金 ,邢育红 . 计算机工程与科学 . 2007,第002期
2. 基于游戏的密码协议自动化安全性证明(英文) [J] . . 中国通信 . 2011,第004期
3. 基于游戏的密码协议自动化安全性证明 [J] . 顾纯祥 ,光焱 ,祝跃飞 . 中国通信 . 2011,第004期
4. 密码协议安全性证明系统解析器的设计与实现 [J] . 李安乐 ,陈楠 ,顾纯祥 . 计算机应用研究 . 2010,第009期
5. 基于伪ID的RFID认证协议及串空间证明 [J] . 徐扬 ,苑津莎 ,高会生 . 计算机科学 . 2017,第010期
6. 基于petri网模型的传感器网络安全协议形式化分析及安全性证明 [C] . Yingjiu Guo ,郭迎九 ,Xuemei Liu . 第十四届全国Petri 网理论与应用学术年会 . 2013
7. 基于串空间理论的电子商务协议安全性研究 [A] . 李志新 . 2008

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

摘要

著录项

相似文献

相关主题

期刊订阅