web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000805853
Cybernetics and Systems Analysis   А - 2019 /  Issue (2018, Т. 54, № 1)
Анисимов А. В., Новокшонов А. К.
Доверительные вычисления с использованием складывающей машины. II Предложено решение проблемы проверки целостности арифметических программ c ветвлениями и циклами, выполняемых на удаленном вычислительном ресурсе. Подход к решению состоит в замене арифметических операций, таких как умножение и деление, соответствующими процедурами складывающей машины (addition machine), введенной Р. Флойдом и Д. Кнутом. Вычисления и порядок следования команд подписываются динами ческой цифровой подписью, гомоморфной по сложению/вычитанию. Для цифровой подписи использована модифицированная схема Бенало. Верификация цифровых подписей результатов выполнения программы гарантирует обнаружение любых несанкционированных изменений в исходном тексте программы. Предложено решение проблемы целостности арифметических программ, выполняемых на удаленном вычислительном ресурсе. Решение состоит в замене арифметических операций, таких как умножение и деление, процедурами складывающей машины (addition machine), введенной Р. Флойдом и Д. Кнутом. Вычисления и порядок следования команд подписываются динамически изменяемой цифровой подписью, гомоморфной по сложению/вычитанию. Верификация цифровых подписей гарантирует обнаружение любых несанкционированных изменений в исходном тексте программы и результатах вычислений.
 https://doi.org/10.1007/s10559-018-0002-7
 Scopus
Бібліографічний опис:
Анисимов А. В., Новокшонов А. К. Доверительные вычисления с использованием складывающей машины. II. Кибернетика и системный анализ. 2018. Т. 54, № 1. С. 3-12. doi: https://doi.org/10.1007/s10559-018-0002-7 URL: http://jnas.nbuv.gov.ua/article/UJRN-0000805853 |
 Cybernetics and Systems Analysis / Issue (2018, 54 (1))
Anisimov A.V.,
Novokshonov A.K.
Trusted computing with addition machines. II A solution to the integrity verification problem is proposed for arithmetic programs with branching and looping statements executed on a remote computational resource. The solution is to replace arithmetic operations such as multiplication and division by corresponding procedures of the addition machine introduced by R. Floyd and D. Knuth. Instruction sequencing and current values of variables are signed by dynamic digital signatures homomorphic with respect to addition and subtraction. A modification of the Benaloh scheme is used for the implementation of digital signatures. Verification of digital signatures of the results of executing a program ensures the detection of any unauthorized changes in the source code of the program. © 2018, Springer Science+Business Media, LLC, part of Springer Nature. Keywords: addition machine, digital signature, homomorphic cryptography, verifiable computing, Authentication, Electronic document identification systems, Arithmetic operations, Computational resources, Current values, Homomorphic cryptography, Integrity verifications, Source codes, verifiable computing, Trusted computing
Cite:
Anisimov A.V.,
Novokshonov A.K.
(2018). Trusted computing with addition machines. II. Cybernetics and Systems Analysis, 54 (1), 3-12. doi: https://doi.org/10.1007/s10559-018-0002-7 http://jnas.nbuv.gov.ua/article/UJRN-0000805853 [In Russian]. |
PDF