Reference Model of Trustworthy Proof for Trusted Components

Nowadays, trusted components have become one of the most focused fields of the software engineer. Trustworthy proof is a very important part of the trusted components, and also an important basis of the trusted components evaluation and relating studies. This paper regards trusted components as the research object, comprehensively analyzes the correlation theories and techniques of the trustworthy proof, gives definition and character of the trustworthy proof, and then proposes a reference model of the trustworthy proof for trusted components life cycle. In the end, two methods about obtaining trustworthy proofs are presented.