Model Based Verification of Cyber Range Event Environments
MIT Lincoln Laboratory Lexington United States
Pagination or Media Count:
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.
- Computer Programming and Software