environment of the trusted processes. The most widely used TPMs are
those that conform to Trusted Computing Group standards.
References
350 Michael Burrows, Martin Abadi, and Roger Needham (Digital Equipment Corp.), A Logic of