Robustness Verification for Systems under Denial of Service Attacks

Abstract

In this project, we focus on DoS attacks to which wireless communication is more vulnerable. We intend to apply formal verication to provide system guarantees, even if there are DoS attacks. This is a fundamental problem as, if DoS attacks are inevitable, we can still guarantee that systems are suffciently robust to meet their requirements such as safety, stability, or performance.

Document Details

Document Type
DoD Grant Award
Publication Date
Jan 14, 2022
Source ID
FA23861914037XX0

Entities

People

  • Chung Wei Lin

Organizations

  • Air Force Office of Scientific Research
  • National Taiwan University
  • United States Air Force

Tags

Fields of Study

  • Computer science

Readers

  • Distributed Systems and Data Platform Development
  • Irregular Warfare and Special Operations Cyberspace Operations against Adversarial Threats.
  • Materials Science and Engineering.