Modeling and Execution of Complex Attack Scenarios using Interval Timed Colored Petri Nets

Royal Holloway, United Kingdom April 13-April 14

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/IWIA.2006.17

Fourth IEEE International Workshop on ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Ole Martin Dahl Articles by Stephen D. Wolthusen

	ASCII Text	x
	Ole Martin Dahl, Stephen D. Wolthusen, "Modeling and Execution of Complex Attack Scenarios using Interval Timed Colored Petri Nets," Information Assurance, IEEE International Workshop on/Innovative Architecture for Future Generation High-Performance Processors and Systems, International Workshop on/Innovative Architecture, International Workshop on, pp. 157-168, Fourth IEEE International Workshop on Information Assurance (IWIA'06), 2006.

	BibTex	x
	@article{ 10.1109/IWIA.2006.17, author = {Ole Martin Dahl and Stephen D. Wolthusen}, title = {Modeling and Execution of Complex Attack Scenarios using Interval Timed Colored Petri Nets}, journal ={Information Assurance, IEEE International Workshop on/Innovative Architecture for Future Generation High-Performance Processors and Systems, International Workshop on/Innovative Architecture, International Workshop on}, volume = {0}, year = {2006}, isbn = {0-7695-2564-4}, pages = {157-168}, doi = {http://doi.ieeecomputersociety.org/10.1109/IWIA.2006.17}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Information Assurance, IEEE International Workshop on/Innovative Architecture for Future Generation High-Performance Processors and Systems, International Workshop on/Innovative Architecture, International Workshop on TI - Modeling and Execution of Complex Attack Scenarios using Interval Timed Colored Petri Nets SN - 0-7695-2564-4 SP157 EP168 A1 - Ole Martin Dahl, A1 - Stephen D. Wolthusen, PY - 2006 KW - null VL - 0 JA - Information Assurance, IEEE International Workshop on/Innovative Architecture for Future Generation High-Performance Processors and Systems, International Workshop on/Innovative Architecture, International Workshop on ER -

Ole Martin Dahl, Gjovik University College, Norway

Stephen D. Wolthusen, Gjovik University College, Norway

The commonly used flaw hypothesis model (FHM) for performing penetration tests provides only limited, highlevel guidance for the derivation of actual penetration attempts. In this paper, a mechanism for the systematic modeling, simulation, and exploitation of complex multistage and multi-agent vulnerabilities in networked and distributed systems based on stochastic and interval-timed colored Petri nets is described and analyzed through case studies elucidating several properties of Petri net variants and their suitability to modeling this type of attack.

Citation:

Ole Martin Dahl, Stephen D. Wolthusen, "Modeling and Execution of Complex Attack Scenarios using Interval Timed Colored Petri Nets," iwia, pp.157-168, Fourth IEEE International Workshop on Information Assurance (IWIA'06), 2006

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.