@inproceedings{iwia2006, 
  author = {Ole Martin Dahl and Stephen Wolthusen}, 
  author_department = {IMT}, 
  author_employer = {HiG}, 
  author_group = {IS}, 
  author_lab = {NISlab}, 
  booktitle = {Proceedings of the Fourth IEEE International Information Assurance Workshop (IWIA 2006)}, 
  title = {Modeling and Execution of Complex Attack Scenarios Using Interval Timed Colored Petri Nets}, 
  year = {2006}
}