Modeling and execution of complex attack scenarios using interval timed colored Petri nets

Author

Dahl, Ole Martin ; Wolthusen, Stephen D.

Author_Institution

Dept. of Comput. Sci., Gjovik Univ. Coll.

fYear

2006

fDate

13-14 April 2006

Lastpage

168

Abstract

The commonly used flaw hypothesis model (FHM) for performing penetration tests provides only limited, high level guidance for the derivation of actual penetration attempts. In this paper, a mechanism for the systematic modeling, simulation, and exploitation of complex multistage and multiagent 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

Keywords

Petri nets; distributed processing; graph colouring; multi-agent systems; security of data; Petri net variant; complex attack scenario; flaw hypothesis model; interval timed colored Petri net; multiagent vulnerability; networked distributed system; penetration test; stochastic colored Petri net; systematic modeling; Analytical models; Computational modeling; Computer science; Educational institutions; Operating systems; Performance analysis; Performance evaluation; Petri nets; Stochastic systems; System testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Assurance, 2006. IWIA 2006. Fourth IEEE International Workshop on

Conference_Location

London

Print_ISBN

0-7695-2564-4

Type

conf

DOI

10.1109/IWIA.2006.17

Filename

1610008