Доверительные вычисления с использованием складывающей машины. I
Предложено решение проблемы целостности арифметических программ, выполняемых на удаленном вычислительном ресурсе. Подход к решению состоит в замене арифметических операций, таких как умножение и деление, процедурами складывающей машины (addition machine), введенной Р. Флойдом и Д. Кнутом. Вычисления...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2017 |
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2017
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/144785 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Доверительные вычисления с использованием складывающей машины. I / А.В. Анисимов, А.К. Новокшонов // Кибернетика и системный анализ. — 2017. — Т. 53, № 5. — С. 3–13. — Бібліогр.: 16 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862697076523008000 |
|---|---|
| author | Анисимов, А.В. Новокшонов, А.К. |
| author_facet | Анисимов, А.В. Новокшонов, А.К. |
| citation_txt | Доверительные вычисления с использованием складывающей машины. I / А.В. Анисимов, А.К. Новокшонов // Кибернетика и системный анализ. — 2017. — Т. 53, № 5. — С. 3–13. — Бібліогр.: 16 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| description | Предложено решение проблемы целостности арифметических программ, выполняемых на удаленном вычислительном ресурсе. Подход к решению состоит в замене арифметических операций, таких как умножение и деление, процедурами складывающей машины (addition machine), введенной Р. Флойдом и Д. Кнутом. Вычисления и порядок следования команд подписываются динамической цифровой подписью, гомоморфной по сложению/вычитанию. Верификация цифровых подписей гарантирует обнаружение любых несанкционированных изменений в исходном тексте программы и результатах вычислений.
Запропоновано розв’язання проблеми цілісності арифметичних програм, які виконуються на віддаленому обчислювальному ресурсі. Підхід до розв’язання полягає у заміні арифметичних операцій, таких як множення і ділення, процедурами додавальної машини (addition machine), введеної Р. Флойдом і Д. Кнутом. Обчислення і послідовність команд підписуються динамічним цифровим підписом, що є гомоморфним за додаванням/відніманням. Верифікація цифрових підписів гарантує виявлення будь-яких несанкціонованих змін у вихідному тексті програми і результатах обчислень.
A solution of the integrity problem for arithmetic programs running on a remote computing resource is proposed. The solution is to replace the arithmetic operations such as multiplication and division by procedures of the addition machine introduced by R. Floyd and D. Knuth. The order of instructions as well as current meanings of variables are signed by dynamic digital signatures, which are homomorphic with respect to addition and subtraction. Verification of digital signatures ensures detection of any unauthorized changes to the source code of the program and to the results of calculations.
|
| first_indexed | 2025-12-07T16:29:29Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-144785 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-12-07T16:29:29Z |
| publishDate | 2017 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Анисимов, А.В. Новокшонов, А.К. 2019-01-04T17:58:50Z 2019-01-04T17:58:50Z 2017 Доверительные вычисления с использованием складывающей машины. I / А.В. Анисимов, А.К. Новокшонов // Кибернетика и системный анализ. — 2017. — Т. 53, № 5. — С. 3–13. — Бібліогр.: 16 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/144785 519.72, 003.26 Предложено решение проблемы целостности арифметических программ, выполняемых на удаленном вычислительном ресурсе. Подход к решению состоит в замене арифметических операций, таких как умножение и деление, процедурами складывающей машины (addition machine), введенной Р. Флойдом и Д. Кнутом. Вычисления и порядок следования команд подписываются динамической цифровой подписью, гомоморфной по сложению/вычитанию. Верификация цифровых подписей гарантирует обнаружение любых несанкционированных изменений в исходном тексте программы и результатах вычислений. Запропоновано розв’язання проблеми цілісності арифметичних програм, які виконуються на віддаленому обчислювальному ресурсі. Підхід до розв’язання полягає у заміні арифметичних операцій, таких як множення і ділення, процедурами додавальної машини (addition machine), введеної Р. Флойдом і Д. Кнутом. Обчислення і послідовність команд підписуються динамічним цифровим підписом, що є гомоморфним за додаванням/відніманням. Верифікація цифрових підписів гарантує виявлення будь-яких несанкціонованих змін у вихідному тексті програми і результатах обчислень. A solution of the integrity problem for arithmetic programs running on a remote computing resource is proposed. The solution is to replace the arithmetic operations such as multiplication and division by procedures of the addition machine introduced by R. Floyd and D. Knuth. The order of instructions as well as current meanings of variables are signed by dynamic digital signatures, which are homomorphic with respect to addition and subtraction. Verification of digital signatures ensures detection of any unauthorized changes to the source code of the program and to the results of calculations. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Кібернетика Доверительные вычисления с использованием складывающей машины. I Довірчі обчислення з використанням додавальної машини. I Trusted computing with addition machines. I Article published earlier |
| spellingShingle | Доверительные вычисления с использованием складывающей машины. I Анисимов, А.В. Новокшонов, А.К. Кібернетика |
| title | Доверительные вычисления с использованием складывающей машины. I |
| title_alt | Довірчі обчислення з використанням додавальної машини. I Trusted computing with addition machines. I |
| title_full | Доверительные вычисления с использованием складывающей машины. I |
| title_fullStr | Доверительные вычисления с использованием складывающей машины. I |
| title_full_unstemmed | Доверительные вычисления с использованием складывающей машины. I |
| title_short | Доверительные вычисления с использованием складывающей машины. I |
| title_sort | доверительные вычисления с использованием складывающей машины. i |
| topic | Кібернетика |
| topic_facet | Кібернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/144785 |
| work_keys_str_mv | AT anisimovav doveritelʹnyevyčisleniâsispolʹzovaniemskladyvaûŝeimašinyi AT novokšonovak doveritelʹnyevyčisleniâsispolʹzovaniemskladyvaûŝeimašinyi AT anisimovav dovírčíobčislennâzvikoristannâmdodavalʹnoímašinii AT novokšonovak dovírčíobčislennâzvikoristannâmdodavalʹnoímašinii AT anisimovav trustedcomputingwithadditionmachinesi AT novokšonovak trustedcomputingwithadditionmachinesi |