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 : https://apps.dtic.mil/dtic/tr/fulltext/u2/1034458.pdf


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