Design and Analysis of Trusted Computing Systems

Author: Xu Shiyi (Compiler)
Publisher:
Publish Date: 2006-07-01
Features: Currently, with the advent of the "Ubiquitous Computing" era, digital computing systems have permeated all aspects of society. In-depth research and exploration of the design theory and practical aspects of "Trusted Computing and Trusted Computing Systems" will undoubtedly become a focal point of digital system research today. This book consists of 12 chapters, which can be divided into two main parts. Part I provides a detailed introduction and analysis of various attributes and fundamental knowledge of trustworthiness (Chapters 1-4). This includes a formal description of the definitions and characteristics of faults, errors, and failures in software and hardware systems, as well as an analysis and comparison of faults and errors in these systems. It also discusses the definitions of the six attributes of trustworthiness, as well as their evaluation and calculation methods. Part II, based on an in-depth study of the main attributes of trustworthiness, elaborates on the fundamental theories, key technologies, implementation methods, and other relevant knowledge for enhancing system trustworthiness (Chapters 5-12). This part provides a detailed analysis and discussion of the various trustworthiness strategies and measures that should be adopted at each stage of the software and hardware system development lifecycle. It clarifies the theories, methods, and practical examples of error-proofing technology, error-prevention technology, fault-detection technology, testability design technology (including redundancy and coding techniques), fault-tolerant design technology, and fault-safe design technology in trusted computing systems. This book incorporates a wealth of research findings on trustworthiness theory and technology from both domestic and international sources. It is a comprehensive work that integrates digital computing software and hardware systems, emphasizing both trustworthiness theory and practice. It is suitable as a textbook for senior undergraduate and graduate students in computer science, electronic and information engineering, communication engineering, microelectronics, and related fields. It can also serve as a reference for professionals engaged in trusted computing.