Formal Verification for Security Technologies in the Blockchain with Artificial Intelligence: A survey

Abstract

Last two decades enhancements of the communication technologies have been interpreting the daily lives as well as the academia and multidisciplinary research fields. One of these enhancements is the blockchain technology which has become one of the most popular and attractive topics over the last five years. Blockchain technology has attracted more and more attention from academia and industry recently. Blockchain is defined as a list of data blocks as a publicly distributed ledger, which are linked together using cryptography. In this matter, cryptographic security issues have increased. In recent years, new, advanced intrusion detection and authentication/privacy protection techniques have been designed and developed. Diversity of computer security requirements results in introducing of different kinds of security models. In fact, each security model is an abstraction of a security policy. Formal Methods have a mathematical foundation, and thus, employs techniques and tools based on mathematics and mathematical logic that support the modelling, specification and verification of the systems. This paper provides a critical and detailed review of the recent researches published in recent years in formal verification methods for communication security in blockchain with artificial intelligence applications.