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

✍ Scribed by Ryma Abassi (editor)

• Publisher: IGI Global
• Year: 2019
• Tongue: English
• Leaves: 309
• Series: Advances in Computational Intelligence and Robotics
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

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