Title :
IPSec Modeling Based on Color Petri Nets
Author :
Chen, Zhuo ; Chen, Xiao-wei ; Zhang, Zheng-wen
Author_Institution :
Sch. of Comput., Hubei Univ. of Technol., Wuhan
Abstract :
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
Keywords :
IP networks; Internet; Petri nets; graph colouring; protocols; telecommunication security; IPSec modeling; IPSec security policy control system; Internet security protocol suite; color Petri nets; policy driven security mechanism; Computer security; Control systems; Data security; Electronic mail; Information security; Petri nets; Power system modeling; Power system security; Protocols; Search engines;
Conference_Titel :
Communications, Circuits and Systems Proceedings, 2006 International Conference on
Conference_Location :
Guilin
Print_ISBN :
0-7803-9584-0
Electronic_ISBN :
0-7803-9585-9
DOI :
10.1109/ICCCAS.2006.284991
