Model Based Verification of Cyber Range Event Environments

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 10, 2015
Accession Number
AD1034458

Entities

People

  • David Tidmarsh
  • Suresh K. Damodaran

Organizations

  • MIT Lincoln Laboratory

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Case Studies
  • Classification
  • Cloud Computing
  • Computers
  • Containers
  • Deployment
  • Detection
  • Environment
  • Infrastructure
  • Models
  • Network Protocols
  • Ontologies
  • Operating Systems
  • Simulations
  • Software Development
  • Validation
  • Verification

Fields of Study

  • Computer science

Readers

  • Computational Modeling and Simulation
  • Criminal Law
  • Optical Fiber Sensing and Electromagnetic Propagation.

Technology Areas

  • Cyber