Ole Martin Dahl, Stephen D. Wolthusen. Modeling and Execution of Complex Attack Scenarios using Interval Timed Colored Petri Nets. In Proceedings of the 4th IEEE International Workshop on Information Assurance (IWIA 2006), 13-14 April 2006, Egham, Surrey, UK. pages 157-168, IEEE Computer Society, 2006. [doi]
Abstract is missing.