COMING SOON! PQDT Open is getting a new home!

ProQuest Open Access Dissertations & Theses will remain freely available as part of a new and enhanced search experience at

Questions? Please refer to this FAQ.

Dissertation/Thesis Abstract

Validating Petri Net Models of Cyberattacks
by Christensen, Nicholas M., M.S., The University of Alabama in Huntsville, 2017, 102; 10608103
Abstract (Summary)

As part of a team project modeling computer system vulnerabilities and cyberattacks, this research focused on Petri net models and validation methods for them. First, the chosen target, Metasploitable, was scanned for vulnerabilities, which were matched to Common Attack Pattern Enumeration and Classification (CAPEC) entries. For a preliminary validation, the models were compared with the entries. Then a dynamic validation was applied to two models of CAPEC entries and to one model of a known backdoor, Ingreslock. Three experimental cyberattacks were compared with their respective models, giving partial validation. The results of the comparison show that this dynamic method was only sufficient to validate a specific sequence of each attack. Formal analysis of Petri net properties proved to be more suited to verification of the model, rather than validation.

Indexing (document details)
Advisor: Petty, Mikel D.
Commitee: Delugach, Harry S., Imsand, Eric, Morris, Tommy
School: The University of Alabama in Huntsville
Department: Computer Science
School Location: United States -- Alabama
Source: MAI 57/01M(E), Masters Abstracts International
Subjects: Computer science
Keywords: Capec, Cybersecurity, Metasploitable, Modeling and simulation, Petri net, Verification and validation
Publication Number: 10608103
ISBN: 978-0-355-30612-5
Copyright © 2021 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy