Publisher's Synopsis
This text addresses significant ideas and concepts for designing, analyzing, implementing and operating dependable computing systems. It covers such topics as: critical industrial systems; specification and design diversity; security protocols and mechanisms; and distributed systems.