Related references
Note: Only part of the references are listed.A Survey of Practical Formal Methods for Security
Tomas Kulik et al.
FORMAL ASPECTS OF COMPUTING (2022)
Design of Secure Authenticated Key Management Protocol for Cloud Computing Environments
Wei Li et al.
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING (2021)
A formal approach to derive an aspect oriented programming-based implementation of a secure access control filter
Amel Mammar et al.
INFORMATION AND SOFTWARE TECHNOLOGY (2017)
A survey of cyber security management in industrial control systems
William Knowles et al.
INTERNATIONAL JOURNAL OF CRITICAL INFRASTRUCTURE PROTECTION (2015)
A brief account of runtime verification
Martin Leucker et al.
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING (2009)