Recent Advances in Systems Safety and Security

This book represents a timely overview of advances in systems safety and security, based on selected, revised and extended contributions from the 2nd and 3rd editions of the International Workshop on Systems Safety and Security – IWSSS, held in 2014 and 2015, respectively, in Bucharest, Romania. It includes 14 chapters, co-authored by 34 researchers from 7 countries. The book provides an useful reference from both theoretical and applied perspectives in what concerns recent progress in this area of critical interest. Contributions, broadly grouped by core topic, address challenges related to information theoretic methods for assuring systems safety and security, cloud-based solutions, image processing approaches, distributed sensor networks and legal or risk analysis viewpoints. These are mostly accompanied by associated case studies providing additional practical value and underlying the broad relevance and impact of the field. Front Matter....Pages i-xi The Theory of Witness-Functions....Pages 1-19 Quantification of Centralized/Distributed Secrecy in Stochastic Discrete Event Systems....Pages 21-40 Framework for Cognitive Radio Deployment in Large Scale WSN-UAV Surveillance....Pages 41-56 Using Modeling and Dynamic Simulation Techniques for Systems’ Safety and Security....Pages 57-77 HAZOP-Based Security Analysis for Embedded Systems: Case Study of Open Source Immobilizer Protocol Stack....Pages 79-96 Multimodal Heterogeneous Monitoring of Super-Extended Objects: Modern View....Pages 97-116 Image Based Control of a Simple Mobile Robotic System....Pages 117-137 On Using a Cloud-Based Approach to Develop a Mobile Asset Management Solution....Pages 139-155 Execution of an IEC61499 Application on a Remote Server....Pages 157-177 Evolution of Legal Issues of Honeynets....Pages 179-200 A Risk Screening System by Network Diagram Recognition for Information Security Audit....Pages 201-210 Risk Analysis and Optimal Model for Efficiency of Reengineering the Independent Power Grids....Pages 211-222 Innovative Fuzzy Approach on Analyzing Industrial Control Systems Security....Pages 223-239 IPv6 Sensor Networks Modeling for Security and Communication Evaluation....Pages 241-259 Back Matter....Pages 261-262