Definitions of Tamper-Proof Program

Abstract

According to the problem that the intelligence is not high of the soccer robot, using the mechanical theory as a guide, making some mechanical analyses and calculations on the pressure and transmutation states of chip kick mechanics, and conducting optimal design too, then making the structure of chip kick mechanics more and more rationalization. Experiments show that the new soccer robot controller features a quick response and high servo rigidity, and provide a kind of method for improving and perfecting the soccer robot control system, at the same time, filling the needs of producing. Tampering is a major challenge in software protection, Many techniques for tamper resistance been proposed, but there is a lack of theoretical investigation, In this work, we initiate a theoretical investigation on program tampering and tamper-proof programs to discuss the question that what is program tampering and whether we can construct a program whose functionality cannot be tampered. To do this, We give the definitions of tampering attacks and the corresponding secure programs. theory and approach provable security of tamper-proof.