Abstract :
A formal trust chain model is proposed, which includes important concepts in trust chain such as trust root, expection, and it is able to represent measurement, extension and attestation processes. This model is a tool for researchers to research trust chain in theory. In the context of cross domain interaction, this paper shows the model deal with two trust chains to make two entities from different domain interact. At last, the effectiveness of this method in production information system is analyzed.
Keywords :
formal specification; information systems; production engineering computing; trusted computing; attestation process; expection; extension process; formal trust chain model; measurement process; multitrust chain scheme; production information system; trust root; trusted cross-domain interaction; Computational modeling; Computers; Educational institutions; Information systems; Laboratories; Production; Security; cross-domain interaction; formal; trust chain model;
