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
Source Type: DISSERTATION
Subjects: Computer science
Keywords: Capec, Cybersecurity, Metasploitable, Modeling and simulation, Petri net, Verification and validation
Publication Number: 10608103
ISBN: 9780355306125
Copyright © 2018 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest