基于着色Petri网的IPSec协议建模与分析

摘要：

作为一种重要的工业标准网络安全协议,建立IPSec安全策略控制系统需要一个正确的建模工具.相比较其它的建模语言,着色Petri网(CPN)提供了一种比较清晰的关于系统状态和行为的描述方法.在本文中,尝试利用CPN来描述动态变化的IPSec协议,并建立了IPSec协议中发送端的CPN模型.

关键词：着色Petri网、IPSec协议、建模分析

所属期刊栏目：26

分类号：TP391(计算技术、计算机技术)

在线出版日期：2014-07-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：95-96,69