Model Based Verification of Cyber Range Event Environments
Abstract
We apply model based verification to cyber range event environment configurations, allowing for the early detection of errors in even environment configurations, and a reduction in the time and resources used during deployment. We categorize misconfiguration errors detected using the Common Cyber Environment Representation (CCER) ontology. We also provide an overview of a methodology to specify verification rules and the corresponding error messages. These rules have successfully detected errors in the designs of several cyber range event environments, thereby reducing cost and time to deployment.
Document Details
- Document Type
- Technical Report
- Publication Date
- Nov 13, 2015
- Accession Number
- AD1034487
Entities
People
- David S. Tidmarsh
- Suresh K. Damodaran
Organizations
- MIT Lincoln Laboratory