K. Jensen, Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use vol. 1: Springer-Verlag, 1992. [CrossRef]
J. Zhou, M. Heckman, B. Reynolds, A. Carlson, and M. Bishop, "Modeling Network Intrusion Detection Alerts for Correlation," ACM Transactions on Information and System Security, vol. 10, No 1, Article 4, pp. 1-31, February 2007.
L. M. Kristensen, J. B. Jorgensen, and K. Jensen, "Application of Coloured Petri Nets in System Development," in Lecture Notes in Computer Science. vol. 3098, W. R. In J. Desel, G. Rozenberg, Ed.: Springer-Verlag, 2004, pp. 626-685.
L. M. Kristensen and K. Jensen, "Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad-hoc Networks," in Lecture Notes in Computer Science. vol. 3147: Springer-Verlag, 2004, pp. 248-269. [CrossRef]
O. M. Dahl, "Using Coloured Petri Nets in Penetration Testing," in Department of Computer Science and Media Technology. vol. Master Gjøvik: Gjøvik University College, 2005, pp. 1-89.
O. M. Dahl and S. D. Wolthusen, "Modeling and execution of complex attack scenarios using interval timed colored Petri nets," in the Fourth IEEE International Workshop on Information Assurance, 2006.
This paper investigates and simulates a coloured stochastic Petri nets model for depth evaluation intrusion detection. Network attack behaviors are very complexity sometimes, it is difficult to capture all of them. In this paper, we could realize what them happened with analyzing and simulating an intrusion. The experimental results demonstrated that the CSPN model approach was an efficient and helpful to evaluate an intrusion detection system.