PUBLICATIONS and PRESENTATIONS

Found 10 results
Filters: Keyword is cybersecurity and Author is M. D. Petty  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
E
Mayfield KP, Petty MD, Whitaker TS, Bland JA, Cantrell WA. An Extended Petri Net Formalism for Modeling Cyberattacks. 2018 AlaSim International Conference and Exposition. 2018 :46-72.
S
Bland JA, Colvett CD, Petty MD, Baker KR. Simulating Cyberattacks with a Petri Net Discrete Event Simulator. 6th Annual Conference on Computational Science and Computational Intelligence. 2019 .
Cantrell WA, Mayfield KP, Petty MD, Whitaker TS, Bland JA. Structured Face Validation of Extended Petri Nets for Modeling Cyberattacks. 2018 AlaSim International Conference and Exposition. 2018 :123-139.
V
Cantrell WA, Showers PM, Petty MD. Verification of XML Encoded Petri Nets Modeling Cyberattacks. Proceedings of the 2019 AlaSim Conference and Exhibition. 2019 .