Basic Concepts and Taxonomy of Dependable and Secure Computing

Software dependability includes a range of characteristics including reliability, security and safety. Dependable software should not cause physical or economic damage in the event of system failure. Malicious users should not be able to access or da