Artificial Intelligence and Security Challenges in Emerging Networks (Advances in Computational Intelligence and Robotics)

Description

The recent rise of emerging networking technologies such as social networks, content centric networks, Internet of Things networks, etc, have attracted significant attention from academia as well as industry professionals looking to utilize these technologies for efficiency purposes. However, the allure of such networks and resultant storage of high volumes of data leads to increased security risks, including threats to information privacy. Artificial Intelligence and Security Challenges in Emerging Networks is an essential reference source that discusses applications of artificial intelligence, machine learning, and data mining, as well as other tools and strategies to protect networks against security threats and solve security and privacy problems. Featuring research on topics such as encryption, neural networks, and system verification, this book is ideally designed for ITC procurement managers, IT consultants, systems and network integrators, infrastructure service providers, computer and software engineers, startup companies, academicians, researchers, managers, and students. Title Page Copyright Page Book Series Editorial Advisory Board Table of Contents Detailed Table of Contents Preface Acknowledgment Chapter 1: The Age of Ransomware Chapter 2: A Review of Security Mechanisms for Multi-Agent Systems Chapter 3: Attack Detection in Cloud Networks Based on Artificial Intelligence Approaches Chapter 4: Network Manipulation Using Network Scanning in SDN Chapter 5: The Usage Analysis of Machine Learning Methods for Intrusion Detection in Software-Defined Networks Chapter 6: Toward Formal Verification of SDN Access-Control Misconfigurations Chapter 7: A Review of Dynamic Verification of Security and Dependability Properties Chapter 8: A Formal Ticket-Based Authentication Scheme for VANETs Chapter 9: Toward a Security Scheme for an Intelligent Transport System Chapter 10: Security Policies a Formal Environment for a Test Cases Generation Compilation of References About the Contributors Index