Remote Auditing of Software Outputs Using a Trusted Coprocessor
Journal of Future Generation Computer Systems, v.13, n.1, 1997, pp. 9-18.
ABSTRACT: A cryptographic coprocessor is described for certifying outcomes of software programs. The system for certifying and authenticating ouputs allows a third party who trusts the secure components of the system to verify that a specified program actually executed and produced a claimed output.
Categories: Protocol Designs