Definitions of Tamper-Proof Program

Guo Jun Ma; Gang Li

doi:10.4028/www.scientific.net/AMM.513-517.1907

Paper Titles

Application of Hierarchical Structured Particle System in Driving Simulation System
p.1890

An Integrated Wireless Communication Platform for Emergency Rescue Management-Decisional Support System
p.1894

Geo-Visualization of Agricultural Products Price Data Based on WebGIS
p.1899

Research on O-OFDM System Based on Hyper Chaos Scrambling Encryption Algorithm
p.1903

Definitions of Tamper-Proof Program
p.1907

Development and Design of Agriculture Product Circulating Information System under the Internet of Things
p.1911

Research and Implementation of the Smart Home System Based on Internet of Things Environment
p.1915

The Numerical Analysis and Simulation of a Linearized Crank-Nicolson H¹-GMFEM for Nonlinear Coupled BBM Equations
p.1919

Automatic Mining and Processing Dormancy Data in the Database Management System for Small and Medium Enterprises
p.1927

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 513-517Definitions of Tamper-Proof Program

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.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 513-517)

Pages:

1907-1910

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.513-517.1907

Citation:

Cite this paper

Online since:

February 2014

Authors:

Guo Jun Ma*, Gang Li

Keywords:

Provable Security, Software Protection, Tamper-Proof

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

* - Corresponding Author

References

[1] Satoshi Kagami, Tomonobu Kitagawa, Koichi Nishiwaki, Tomomichi Sugihara, Masayuki Inaba, Hirochika Inoue. A Fast Dynamically Equilibrated Walking Trajectory Generation Method of Humanoid Robot [J], (2002).

Google Scholar

[2] HIROKIK, MINORUA, YASUOK, ET al. RoboCup: a challenge problem for AI and robotics. HirokiK. RoboCup-97: Robot Soccer World Cup [C]. Berlin: Springer, 1998. 38-43.

DOI: 10.1007/3-540-64473-3_46

Google Scholar

[3] Zhizhong Yin. Application of FPGA control DC motor servo system [J]. Inner Mongolia Science and Technology and Economy, 2008 177 (23) 101-103.

Google Scholar

[4] Joerg Christian Wolf, Phil Hall, Paul Robinson, Phil Culverhouse. Bioloid based Humanoid Soccer Robot Design, (2007).

Google Scholar

[5] Wu Chuan-yu, He Lei-ying, Design and Realization of Instructional RPPR-Robot, Research and Exploration in Laboratory. 2007, 26(10).

Google Scholar