|
|||||
|
|
| 基于SVO逻辑的SNMP协议的改进及形式化分析 | |
| 引用本文： | 周鹏,林华.基于SVO逻辑的SNMP协议的改进及形式化分析[J].湖南科技学院学报,2011,32(8):54-58. |
| 作者姓名： | 周鹏 林华 |
| 作者单位： | 湖南科技学院计算机与通信工程系,湖南永州,425100 |
| 摘 要： | SNMP协议是常用的网络管理协议,文章首先对该协议进行了抽象,以方便构建逻辑语句,并对抽象后的协议进行分析,找到该协议存在的缺陷。针对缺陷做了改进,再利用SVO逻辑对改进后的协议进行分析,验证了改进的有效性,并通过网络抓包的方式证实了这一结论。 |
| 关 键 词： | SVO逻辑 SNMP协议 形式化分析 安全协议 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |