| 基于带标记串空间模型的安全协议分析 |
| |
| 引用本文： | 龙士工. 基于带标记串空间模型的安全协议分析[J]. 微计算机信息, 2010, 0(6) |
| |
| 作者姓名： | 龙士工 |
| |
| 作者单位： | 贵州大学计算机学院; |
| |
| 基金项目： | 基金申请人:龙士工;项目名称:基于时序逻辑的安全协议Petri网分析与模型检验的研究与实现;基金颁发部门:贵州省科学技术基金委(黔科合J字[2008]2117) |
| |
| 摘 要： | 在串空间理论基础上引入了标记模型,扩展了串空间理论.实现了具有类型缺陷的安全协议的分析.本文以RPC协议作为实例,证明改进后的RPC协议,能抵御类型攻击。
|
| 关 键 词： | 串空间 安全协议 类型缺陷 |
Analysis of Security Protocols Based on the Strand Space Model with Tags |
| |
| LONG Shi-gong. Analysis of Security Protocols Based on the Strand Space Model with Tags[J]. Control & Automation, 2010, 0(6) |
| |
| Authors: | LONG Shi-gong |
| |
| Affiliation: | LONG Shi-gong(Dept of Computer Science,Guizhou University,Guiyang,550025,China) |
| |
| Abstract: | The model of tags is introduced based on strand space theory,which is expanded.A type flaw attack on a security protocol is analyzed.And the improved RPC protocol as an example,we prove that type flaw attacks can be prevented using the model of tags. |
| |
| Keywords: | Strand space Security Protocol Type Flaw |
| 本文献已被 CNKI 等数据库收录！ |
