Verification and Synthesis of Assured Dynamic Cyber Defense with Deception and Counter Deception

Abstract

Thrust I: Develop a game-theoretic modeling framework for cyber networks equipped with dynamic defense and deception mechanisms. The modeling framework will enable the development of novel algorithms for verifying and synthesizing proactive defense systems given security specifications in high-level formal logic; Thrust 2: Develop game-theoretic synthesis methods for constructing assured active cyber defense strategies with novel deception mechanisms; Thrust 3: Develop effective dynamic defense strategies against learning-based attacks in repeated interactions.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 24, 2021
Accession Number
AD1209210

Entities

People

  • Jie Fu

Organizations

  • Worcester Polytechnic Institute

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Cyber Defense Techniques
  • Deception
  • Defense Systems
  • Illinois
  • Military Research
  • Security
  • Specifications
  • Standards
  • Students
  • Validation
  • Verification

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Game Theory.
  • Neural Network Machine Learning.

Technology Areas

  • Cyber