COPS协议的形式建模与安全性分析  

作　　者：林煜明[1] 蔡国永[1] 李优[1] 

机构地区：[1]桂林电子科技大学应用技术学院,广西桂林541004

出　　处：《计算机应用》2007年第B12期110-112,共3页journal of Computer Applications

摘　　要：在基于政策的网络管理体系中,COPS协议是政策决策点和政策执行点之间信息交换的协议。在对该协议进行分析的基础上,针对协议的安全机制,构造其着色Petri网模型并进行仿真,验证了该协议的安全性。最后通过模拟网络传输中出现的入侵行为,并分析由此导致的结果,发现了COPS协议存在的安全缺陷,为进一步完善该协议提供了根据。

关 键 词：COPS协议 CPN模型 安全性 仿真 验证 

分 类 号：TP393.04[自动化与计算机技术—计算机应用技术]