Date of Award
1-1-2016
Document Type
Dissertation
Degree Name
Ph.D.
Organizational Unit
Daniel Felix Ritchie School of Engineering and Computer Science
First Advisor
Anneliese A. Andrews, Ph.D.
Second Advisor
Nathan Sturtevant
Third Advisor
Wenzhong Gao
Keywords
Autonomous vehicles, CEFSM, Communicating extended finite state machine, Mitigation patterns, Model based test, Security testing
Abstract
The purpose of this dissertation is to introduce a novel approach to generate a security test suite to mitigate malicious attacks on an autonomous system. Our method uses model based testing (MBT) methods to model system behavior, attacks and mitigations as independent threads in an execution stream. The threads intersect at a rendezvous or attack point. We build a security test suite from a behavioral model, an attack type and a mitigation model using communicating extended finite state machine (CEFSM) models. We also define an applicability matrix to determine which attacks are possible with which states. Our method then builds a comprehensive test suite using edge-node coverage that allows for systematic testing of an autonomous vehicle.
Publication Statement
Copyright is held by the author. User is responsible for all copyright compliance.
Rights Holder
Seana Lisa Hagerman
Provenance
Received from ProQuest
File Format
application/pdf
Language
en
File Size
198 p.
Recommended Citation
Hagerman, Seana Lisa, "Model Based Security Testing for Autonomous Vehicles" (2016). Electronic Theses and Dissertations. 1215.
https://digitalcommons.du.edu/etd/1215
Copyright date
2016
Discipline
Computer Science