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