Accession Number : AD1034458

Title :   Model Based Verification of Cyber Range Event Environments

Descriptive Note : Technical Report

Corporate Author : MIT Lincoln Laboratory Lexington United States

Personal Author(s) : Damodaran,Suresh K ; Tidmarsh,David

Full Text :

Report Date : 10 Dec 2015

Pagination or Media Count : 8

Abstract : We apply model based verification to cyber range eventenvironment configurations, allowing for the earlydetection of errors in event environment configurations, anda reduction in the time and resources used duringdeployment. We categorize misconfiguration errorsdetected using the Common Cyber EnvironmentRepresentation (CCER) ontology. We also provide anoverview of a methodology to specify verification rules andthe corresponding error messages. These rules havesuccessfully detected errors in the designs of several cyberrange event environments, thereby reducing cost and timeto deployment.

Descriptors :   computers , Verification , Configurations , software development , ontologies , ERROR ANALYSIS , resource management

Subject Categories : Administration and Management
      Computer Systems

Distribution Statement : APPROVED FOR PUBLIC RELEASE