Accession Number:

AD1034487

Title:

Model Based Verification of Cyber Range Event Environments

Descriptive Note:

Technical Report

Corporate Author:

MIT Lincoln Laboratory Lexington United States

Report Date:

2015-11-13

Pagination or Media Count:

9.0

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE