Recent Advances in Systems Safety and Security

The Theory of Witness Functions.- Quantification of Centralized/Distributed Secrecy in Stochastic Discrete Event Systems.- Framework for Cognitive Radio Deployment in Large Scale WSN-UAV Surveillance.- Using Modeling and Dynamic Simulation Techniques for Systems' Safety and Security.- HAZOP-based Security Analysis for Embedded Systems: Case Study of Open Source Immobilizer Protocol Stack.- Multimodal Heterogeneous Monitoring Of Super-Extended Objects: Modern View.- Image Based Control of a Simple Mobile Robotic System.- On using a Cloud-Based Approach to Develop a Mobile Asset Management Solution.- Execution of an IEC61499 Application on a Remote Server.- Evolution of Legal Issues of Honey nets.- A Risk Screening System by Network Diagram Recognition for Information Security Audit.- Risk Analysis and Optimal Model for Efficiency of Reengineering the Independent Power Grids.- Innovative Fuzzy Approach on Analyzing Industrial Control Systems.- IPv6 Sensor Networks Modeling for Security and Communication Evaluation.