Trusted computing with addition machines. I / Anisimov, / Novokshonov. (2017)
Ukrainian

English  Cybernetics and Systems Analysis   /     Issue (2017, 53 (5))

Anisimov A.V., Novokshonov A.K.
Trusted computing with addition machines. I

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. © 2017, Springer Science+Business Media, LLC.

Keywords: addition machine, digital signature, homomorphic cryptography, Authentication, Electronic document identification systems, Arithmetic operations, Homomorphic cryptography, Remote computing, Source codes, Trusted computing


Cite:
Anisimov A.V., Novokshonov A.K. (2017). Trusted computing with addition machines. I. Cybernetics and Systems Analysis, 53 (5), 3-13. doi: https://doi.org/10.1007/s10559-017-9967-x http://jnas.nbuv.gov.ua/article/UJRN-0000754479 [In Russian].


 

Institute of Information Technologies of VNLU


+38 (044) 525-36-24
Ukraine, 03039, Kyiv, Holosiivskyi Ave, 3, room 209