| 用于密码协议安全性证明的串空间模型 |
| |
| 引用本文： | 王焕宝,张佑生,侯整风.用于密码协议安全性证明的串空间模型[J].合肥工业大学学报(自然科学版),2005,28(5):449-455. |
| |
| 作者姓名： | 王焕宝 张佑生 侯整风 |
| |
| 作者单位： | 合肥工业大学,计算机与信息学院,安徽,合肥,230009;合肥工业大学,计算机与信息学院,安徽,合肥,230009;合肥工业大学,计算机与信息学院,安徽,合肥,230009 |
| |
| 摘 要： | 形式化分析是密码协议安全性证明的一个有效途径。串空间模型是在Dolev-Yao代数模型的基础上,结合Woo-Lam模型、CSP、Schneider秩函数和Paulson归纳法等方法的优点所提出的一种新的密码协议形式化模型,它可为密码协议安全性的证明提供新的方法。文章介绍了串空间模型的研究背景,分析它的架构和特点,综述有关研究工作,并分析其进一步的研究趋势。
|
| 关 键 词： | 串空间 密码协议 形式化分析 不变集 |
| 文章编号： | 1003-5060(2005)05-0449-07 |
| 修稿时间： | 2004年8月30日 |
Strand space model to prove the security of cryptographic protocols |
| |
| WANG Huan-bao,ZHANG You-sheng,HOU Zheng-Feng.Strand space model to prove the security of cryptographic protocols[J].Journal of Hefei University of Technology(Natural Science),2005,28(5):449-455. |
| |
| Authors: | WANG Huan-bao ZHANG You-sheng HOU Zheng-Feng |
| |
| Abstract: | |
| |
| Keywords: | strand space cryptographic protocol formal analysis invariant set |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
