Abstract:With the ever-evolving cyber attacks as well as defense technologies, the attack behaviors are characterized by uncertainty, complexity, and diversity, and the attack operations are becoming large-scale, synergistic, and multilevel. To study any cyber attacks, it is necessary to establish an objective and scientific and descriptive methodology for accurate feature analysis so as to come up with some general laws based on which the overall defense strategies will be put forward. So far, there is not a universal scientific theoretical model for us to depict the cyber attack behaviors, and the existing theoretical models are proposed for specific scenarios or certain attack categories. The scientific description of cyber attack behaviors is the premise and basis for analyzing the theory of cyber attacks and establishing a general theory of cyber defense. This chapter is an overview or an attempted summary of the existing formal description methods of mainstream network attacks and proposes some preliminary suggestions for the formal analysis of cyber attacks against the complicated dynamic heterogeneous redundant (DHR) network environments. The content herein, though not directly applied in the following chapters, is of guiding significance and reference value for the research on the theory of cyber attacks based on vulnerabilities or backdoors, the formulation of cyberspace defense strategies, and the design of cyber attack defense mechanisms.

Research on Systematically Describing Attacks

Analysis and Research of Attack Model

Research on an attack knowledge based enhanced at-tack tree model

Port Scanning Techniques and Analysis of Attack and Defense

Formal Description of Cyber Attacks

Threat Assessment for Power Industrial Control System Based on Descriptive Vulnerability Text

How Effective Are the Prevailing Attack-Defense Models for Cybersecurity Anyway?

Method of Classifying Attacks Based on Multi-dimension

Research on Classification of Attack Technologies

Research on Network Attacks and Security Countermeasures

An Network Attack Modeling Method Based on MLL-AT

Vulnerability Assessment on WAMS Communication System Based on Attack Tree Model

Discovering, quantifying, and displaying attacks

Correlating Multi-Step Attack and Constructing Attack Scenarios Based on Attack Pattern Modeling

Modeling Of Intentional Attack In Risk Analysis Methods

Survey on Architectural Attacks: A Unified Classification and Attack Model

Survey of Network and Computer Attack Taxonomy

Survey of Attack Graph Analysis Methods from the Perspective of Data and Knowledge Processing

Attack Model and Its Application Based on System States Aggregation

The Research of Alert Correlation Based on Attack Intetion

Towards High Level Attack Scenario Graph Through Honeynet Data Correlation Analysis