|
|||||
|
|
| 一种改进SVO逻辑的新方法 | |
| 引用本文： | 仇细平,缪祥华,杨晓婕.一种改进SVO逻辑的新方法[J].中国电子商情,2009(9). |
| 作者姓名： | 仇细平 缪祥华 杨晓婕 |
| 作者单位： | 昆明理工大学,信息工程与自动化学院,云南,昆明,650051 |
| 摘 要： | 安全协议的形式化验证能有效检验安全协议的安全性,BAN类逻辑的发展极大的促进了这一领域的研究,而SVO逻辑是BAN类逻辑的佼佼者.本文通过增加和改进SVO逻辑的推理规则以及公理,提出了一种改进SVO逻辑的新方法,使其可以更好的分析认证协议.本文运用改进SVO逻辑对Needham-Schroeder认证协议进行形式化分析,发现改进的SVO逻辑能证明Needham-Schroeder认证协议能够达到预期目标. |
| 关 键 词： | Needham-Schroeder认证协议 SVO逻辑 认证协议 |
A New Method of Improving SVO logic |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |