Dependable Computing for Critical Applications 5 (Dependable Computing and Fault-Tolerant Systems, Vol 10)

Explores the integration of dependability attributes within practical, working computer systems. The 17 papers selected for the July 1997 conference address the growing international concern for system dependability and reflect advances in understanding how dependability manifests in practice. Topics covered are critical industrial systems, specification and design diversity, security protocols and mechanisms, distributed systems, control flow checking, validation, and software faults. No index. Annotation c. by Book News, Inc., Portland, Or.