Доверительные вычисления с использованием складывающей машины. I / Анисимов А. В., Новокшонов А. К. (2017)
Ukrainian

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000754479
  Кибернетика и системный анализ      А - 2019  /     Випуск (2017, Т. 53, № 5)

Анисимов А. В., Новокшонов А. К.
Доверительные вычисления с использованием складывающей машины. I

Предложено решение проблемы проверки целостности арифметических программ c ветвлениями и циклами, выполняемых на удаленном вычислительном ресурсе. Подход к решению состоит в замене арифметических операций, таких как умножение и деление, соответствующими процедурами складывающей машины (addition machine), введенной Р. Флойдом и Д. Кнутом. Вычисления и порядок следования команд подписываются динами ческой цифровой подписью, гомоморфной по сложению/вычитанию. Для цифровой подписи использована модифицированная схема Бенало. Верификация цифровых подписей результатов выполнения программы гарантирует обнаружение любых несанкционированных изменений в исходном тексте программы.

Предложено решение проблемы целостности арифметических программ, выполняемых на удаленном вычислительном ресурсе. Решение состоит в замене арифметических операций, таких как умножение и деление, процедурами складывающей машины (addition machine), введенной Р. Флойдом и Д. Кнутом. Вычисления и порядок следования команд подписываются динамически изменяемой цифровой подписью, гомоморфной по сложению/вычитанию. Верификация цифровых подписей гарантирует обнаружение любых несанкционированных изменений в исходном тексте программы и результатах вычислений.

 https://doi.org/10.1007/s10559-017-9967-x
 Scopus

Бібліографічний опис:
Анисимов А. В., Новокшонов А. К. Доверительные вычисления с использованием складывающей машины. I. Кибернетика и системный анализ. 2017. Т. 53, № 5. С. 3-13. doi: https://doi.org/10.1007/s10559-017-9967-x URL: http://jnas.nbuv.gov.ua/article/UJRN-0000754479

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].

 

Інститут інформаційних технологій НБУВ

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна