Abstract
A solution to the integrity problem for arithmetic programs executing on a remote computing resource is proposed. The solution is to replace arithmetic operations such as multiplication and division by procedures of the addition machine introduced by R. Floyd and D. Knuth. Computations and sequence order of instructions (as well as current meanings of variables) are signed by dynamic digital signatures homomorphic with respect to addition/subtraction. Verification of digital signatures ensures the detection of any unauthorized changes in the source code of a program and results of computations.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
