Abstract:In today's world, critical infrastructure is often controlled by computing systems. This introduces new risks for cyber attacks, which can compromise the security and disrupt the functionality of these systems. It is therefore necessary to build such systems with strong guarantees of resiliency against cyber attacks. One way to achieve this level of assurance is using formal verification, which provides proofs of system compliance with desired cyber security properties. The use of Formal Methods (FM) in aspects of cyber security and safety-critical systems are reviewed in this article. We split FM into the three main classes: theorem proving, model checking and lightweight FM. To allow the different uses of FM to be compared, we define a common set of terms. We further develop categories based on the type of computing system FM are applied in. Solutions in each class and category are presented, discussed, compared and summarised. We describe historical highlights and developments and present a state-of-the-art review in the area of FM in cyber security. This review is presented from the point of view of FM practitioners and researchers, commenting on the trends in each of the classes and categories. This is achieved by considering all types of FM, several types of security and safety critical systems and by structuring the taxonomy accordingly. The article hence provides a comprehensive overview of FM and techniques available to system designers of security-critical systems, simplifying the process of choosing the right tool for the task. The article concludes by summarising the discussion of the review, focusing on best practices, challenges, general future trends and directions of research within this field.

Foundation for System Security

A Framework For System Security

SoK: A Minimalist Approach to Formalizing Analog Sensor Security.

System Security Assurance: A Systematic Literature Review

Axiomatic And Behavioural Trust

A Framework of Information Security Integrated with Human Factors

Security Design Based on Social Modeling

Toward a taxonomy of communications security models

Towards a More Systematic Approach to Secure Systems Design and Analysis

Principles of Security: Human, Cyber, and Biological

An Explicit Trust Model Towards Better System Security

A Survey of Practical Formal Methods for Security

A Framework and It's Application for Security Architecture of Computer Networks

Information Flow for Security in Control Systems

Computer Security: Competing Concepts

An integrated system theory of information security management

Application of Cybernetics and Control Theory for a New Paradigm in Cybersecurity

Fundamental Challenges of Cyber-Physical Systems Security Modeling

Attacker Control and Impact for Confidentiality and Integrity

On a Foundation Model for Operating Systems