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

• 作者: 卞直荣 张伟 顾明甲
• 来源期刊: 科技与创新
• 关键词: 着色Petri网 IPSec协议 建模分析
• 年，卷（期）: 2010,（21）
• 页码范围: 95-96,69
• 分类号: TP391
• 语种: 中文
• DOI: 10.3969/j.issn.2095-6835.2010.21.037

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张伟	江南大学信息工程学院	76	368	10.0	14.0
2	顾明甲	江南大学信息工程学院	3	13	2.0	3.0
3	卞直荣	江南大学信息工程学院	1	1	1.0	1.0