| BAN逻辑及其在认证协议性质分析中的应用研究 |
| |
| 作者单位： | 南通大学计算机科学与技术学院 江苏南通226019 |
| |
| 摘 要： | 在各类安全协议中,认证协议分析正成为热点,BAN逻辑是近年来主要的认证协议分析工具之一。在分析了BAN逻辑主要规则和分析步骤之后,研究了BAN逻辑存在的各类缺陷,并对BAN类逻辑需要改进的方面进行了讨论。
|
| 关 键 词： | 认证协议 形式化分析 BAN逻辑 |
BAN Logic and It's Application in Authentication Protocol Analysis |
| |
| JIN Li-ping,GU Xiang,JI Li-na. BAN Logic and It's Application in Authentication Protocol Analysis[J]. Digital Community & Smart Home, 2008, 0(12) |
| |
| Authors: | JIN Li-ping GU Xiang JI Li-na |
| |
| Abstract: | The security of Internet becomes more and more important today.Now the authentication protocol analysis has become a hot topic.BAN logic is one of main tools of protocol analysis.The paper analyzed constitute of BAN logic and analysis steps. Then it pointed out various kinds of demerit of BAN logic. It also discussed some possible improvement. |
| |
| Keywords: | Authentication Protocol Formalized Analysis BAN Logic |
| 本文献已被 CNKI 等数据库收录！ |
