Accession Number : AD1034487

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 S

Full Text :

Report Date : 13 Nov 2015

Pagination or Media Count : 9

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.

Descriptors :   operating systems , computing system architectures , classification , cloud computing , case studies , simulations , ontologies , network protocols , errors

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE