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 : http://www.dtic.mil/dtic/tr/fulltext/u2/1034487.pdf


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