Avoid Powerful Tampering by Malicious Host

This paper indicates a potential security threat which may do harm to distributed computing security. As the program is distributed to run in the remote nodes, adversary may use simulator to produce false results to do tampering. Some sophisticated simulator can give powerful tampering ability to adversary, with the reason explained in this paper. In order to solve this security problem, Real Processor Proving algorithm is applied. This algorithm use some special behavior characteristics of real processor to determine whether the program is running on a real processor in the remote node or just running on a simulator, so that it can detect the using of simulator to avoid this kind of powerful tampering.