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.

Evaluation for the trustworthy of software is now one of the focuses of software engineering. This paper establishes a workflow software trustworthy evaluation model based on grey relation by defining the evaluation indexes of workflow software' capability using the fuzzy math method, and explains the specific calculation process taking the current workflow productions as examples. According to the case study, this method is reasonable and efficient for workflow software trustworthy evaluation.