Control-theoretic Methods for Cyber-Physical Security presents novel results on security and defense methodologies applied to cyber-physical systems. This book adopts the viewpoint of control and game theories, modelling these autonomous platforms as dynamical systems and proposing algorithmic frameworks that both proactively and reactively shield the system against catastrophic failures. The algorithms presented employ model-based and data-driven techniques to security, ranging from model-free detection mechanisms to unpredictability-based defense approaches.
This book will be a reference to the research community in identifying approaches to security that go beyond robustification techniques and give attention to the tight interplay between the physical and digital devices of the system, providing algorithms that can be readily used in a variety of application domains where the systems are subject to different kinds of attacks.
1. Chapter One : Introduction - p. Page x 2. Chapter Two : Control-theoretic intrusion detection - p. Page 7 3. Chapter Three : Redundancy-based defense - p. Page 37 4. Chapter Four : Timing faults and attacks - p. Page 66 5. Chapter Five : Adversarial modeling - p. Page 109 6. Chapter Six : Future research directions - p. Page 170 7. References - p. Page 171 8. Index - p. Page 171
Control-theoretic Methods for Cyber-Physical Security presents novel results on security and defense methodologies applied to cyber-physical systems. This book adopts the viewpoint of control and game theories, modelling these autonomous platforms as dynamical systems and proposing algorithmic frameworks that both proactively and reactively shield the system against catastrophic failures. The algorithms presented employ model-based and data-driven techniques to security, ranging from model-free detection mechanisms to unpredictability-based defense approaches.
This book will be a reference to the research community in identifying approaches to security that go beyond robustification techniques and give attention to the tight interplay between the physical and digital devices of the system, providing algorithms that can be readily used in a variety of application domains where the systems are subject to different kinds of attacks.
1. Chapter One : Introduction - p. Page x 2. Chapter Two : Control-theoretic intrusion detection - p. Page 7 3. Chapter Three : Redundancy-based defense - p. Page 37 4. Chapter Four : Timing faults and attacks - p. Page 66 5. Chapter Five : Adversarial modeling - p. Page 109 6. Chapter Six : Future research directions - p. Page 170 7. References - p. Page 171 8. Index - p. Page 171
