DocumentCode
3270170
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
Volume
3
fYear
2006
fDate
25-28 June 2006
Firstpage
1655
Lastpage
1659
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICCCAS.2006.284991
Filename
4064217
Link To Document