Verification of XML Encoded Petri Nets Modeling Cyberattacks

TitleVerification of XML Encoded Petri Nets Modeling Cyberattacks
Publication TypeConference Proceedings
Year of Publication2019
AuthorsCantrell, WA, Showers, PM, Petty, MD
Conference NameProceedings of the 2019 AlaSim Conference and Exhibition
Date Published10/2019
PublisherProceedings of the 2019 AlaSim Conference and Exhibition
Conference LocationHuntsville, AL
Keywordscybersecurity
Involved Persons: