Abstract:Information technology has penetrated into all aspects of politics, economy, and culture of the whole society. The information revolution has changed the way of communication all over the world, promoted the giant development of human society, and also drawn unprecedented attention to network security issues. Studies, focusing on network security, have experienced four main stages: idealized design for ensuring security, auxiliary examination and passive defense, active analysis and strategy formulation, and overall perception and trend prediction. Under the background of the new strategic command for the digital control that all countries are scrambled for, the discussion of network security situational awareness presents new characteristics both in the academic study and industrialization. In this regard, a thorough investigation has been made in the present paper into the literature of network security situational awareness. Firstly, the research status both at home and abroad is introduced, and then, the logical analysis framework is put forward concerning the network security situational awareness from the perspective of the data value chain. The whole process is composed of five successive stages: factor acquisition, model representation, measurement establishment, solution analysis, and situation prediction. Subsequently, the role of each stage and the mainstream methods are elaborated, and the application results on the experimental objects and the horizontal comparison between the methods are explained. In an attempt to provide a panoramic recognition of network security situational awareness, and auxiliary ideas for the industrialization of network security, this paper aims to provide some references for the scientific research and engineering personnel in this field.

Application of strand space theory to formalization analyses of network protocol

Study on the Proof Method of Authentication Protocols Based on Strand Space

On the Relationship between Strand Spaces and Multi-Agent Systems

The Strand Space Model of NSSK Protocol and Its Analysis

An Attack—Finding Algorithm for Security Protocols

A FORMAL SPECIFICATION LANGUAGE FOR DYNAMIC STRAND SPACE MODEL

Formal verification of Kao Chow cryptographic protocol based on strand space model

Security analysis of Kerberos protocol based on the strand space model

Applying Formal Methods to Networking: Theory, Techniques and Applications

Formal Modeling and Analysis of a Narrow Bandwidth Protocol for Establishing and Terminating Connections

Formal Analysis of 3GPP Authentication and Key Agreement Based on the Strand Space Model

Formal Verification Techniques for Security Protocols

Protocol Testing Theory Based on Formal Methods

A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges

Protocols Security Analysis Based on Ideal

Strand-Based Approach to Patch Security Protocols

Analysis framework of network security situational awareness and comparison of implementation methods

Formal Analysis Method of Internetware Evolution

Application examples of the network fixed point theory for space-air-ground integrated communication network

Modeling and Analysis of Wireless Sensor Network Protocols by Stochastic Timed Automata and Statistical Model Checking

Research on computer-aided formal modeling for security protocol code