Handbook of System Safety and Security: Cyber Risk and Risk Management, Cyber Security, Adversary Modeling, Threat Analysis, Business of Safety, Functional Safe

Recent decades have seen major advances in methods and tools for checking the safety and security of software systems. Automatic tools can now detect security f

This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held

Computers at Risk presents a comprehensive agenda for developing nationwide policies and practices for computer security. Specific recommendations are provided

A thorough and accessible introduction to a range of key ideas in type systems for programming language. The study of type systems for programming languages now