Book of Donmon Teith

Explains how software reliability can be applied to software programs of all sizes, functions and languages, and businesses. This text provides real-life exampl

To make communication and computation secure against catastrophic failure and malicious interference, it is essential to build secure software systems and metho

Can a system be considered truly reliable if it isn't fundamentally secure? Or can it be considered secure if it's unreliable? Security is crucial to the design

The overwhelming majority of a software system’s lifespan is spent in use, not in design or implementation. So, why does conventional wisdom insist that softw

Deals constructively with recognized software problems. Focuses on the unreliability of computer programs and offers state-of-the-art solutions. Covers—softwa