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

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

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

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