IPSec Modeling Based on Color Petri Nets

摘要：

As a policy driven security mechanism, establishing a IPSec security policy control system requires a right modeling tool. Compared with other modeling languages, CPN provides a clear description to the status and action of system. In this paper, we try to adopt the abundant expressions of CPN to describe dynamic change of IPSec protocol., and establish a CPN model of IPSec protocol sender.

作者: Zhuo Chen Xiao-wei Chen Zheng-wen Zhang

作者单位: School of Computer Hubei University of Technology Wuhan, Hubei, China School of Electrical and Electronic Engineering Hubei University of Technology Wuhan, Hubei, China

会议类型: 国际会议

会议名称: 2006 International Conference on Communications,Circuits and Systems(第四届国际通信、电路与系统学术会议)

会议地点: 广西桂林

会议语种:英文

页码: 1655-1659

在线出版日期: 2006-06-25（万方平台首次上网日期，不代表论文的发表时间）