Доверительные вычисления с использованием складывающей машины. II
Предложено решение проблемы проверки целостности арифметических программ c ветвлениями и циклами, выполняемых на удаленном вычислительном ресурсе. Подход к решению состоит в замене арифметических операций, таких как умножение и деление, соответствующими процедурами складывающей машины (addition mach...
Збережено в:
| Опубліковано в: : | Кибернетика и системный анализ |
|---|---|
| Дата: | 2018 |
| Автори: | , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2018
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/144828 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Доверительные вычисления с использованием складывающей машины. II / А.В. Анисимов, А.К. Новокшонов // Кибернетика и системный анализ. — 2018. — Т. 54, № 1. — С. 3–12. — Бібліогр.: 32 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862737837371162624 |
|---|---|
| author | Анисимов, А.В. Новокшонов, А.К. |
| author_facet | Анисимов, А.В. Новокшонов, А.К. |
| citation_txt | Доверительные вычисления с использованием складывающей машины. II / А.В. Анисимов, А.К. Новокшонов // Кибернетика и системный анализ. — 2018. — Т. 54, № 1. — С. 3–12. — Бібліогр.: 32 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| description | Предложено решение проблемы проверки целостности арифметических программ c ветвлениями и циклами, выполняемых на удаленном вычислительном ресурсе. Подход к решению состоит в замене арифметических операций, таких как умножение и деление, соответствующими процедурами складывающей машины (addition machine), введенной Р. Флойдом и Д. Кнутом. Вычисления и порядок следования команд подписываются динамической цифровой подписью, гомоморфной по сложению/вычитанию. Для цифровой подписи использована модифицированная схема Бенало. Верификация цифровых подписей результатов выполнения программы гарантирует обнаружение любых несанкционированных изменений в исходном тексте программы.
Запропоновано розв’язання проблеми перевірки цілісності арифметичних програм з розгалуженнями і циклами, які виконуються на віддаленому обчислювальному ресурсі. Підхід до розв’язання полягає у заміні арифметичних операцій, таких як множення і ділення, відповідними процедурами додавальної машини (addition machine), введеної Р. Флойдом і Д. Кнутом. Обчислення і послідовність команд підписуються динамічним цифровим підписом, що є гомоморфним за додаванням/відніманням. Для цифрового підпису застосовано модифіковану схему Бенало. Верифікація цифрових підписів результатів виконання програми гарантує виявлення будь-яких несанкціонованих змін у вихідному тексті програми.
A solution of the integrity verification problem for arithmetic programs with branching and looping statements running on a remote computing resource is proposed. The solution is to replace the arithmetic operations such as multiplication and division by corresponding 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. A modification of the Benaloh scheme is used for digital signatures implementation. Verification of digital signatures of computation results ensures detection of any unauthoried changes to the source code of the program.
|
| first_indexed | 2025-12-07T20:01:53Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-144828 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1019-5262 |
| language | Russian |
| last_indexed | 2025-12-07T20:01:53Z |
| publishDate | 2018 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Анисимов, А.В. Новокшонов, А.К. 2019-01-05T14:50:01Z 2019-01-05T14:50:01Z 2018 Доверительные вычисления с использованием складывающей машины. II / А.В. Анисимов, А.К. Новокшонов // Кибернетика и системный анализ. — 2018. — Т. 54, № 1. — С. 3–12. — Бібліогр.: 32 назв. — рос. 1019-5262 https://nasplib.isofts.kiev.ua/handle/123456789/144828 519.72, 003.26 Предложено решение проблемы проверки целостности арифметических программ c ветвлениями и циклами, выполняемых на удаленном вычислительном ресурсе. Подход к решению состоит в замене арифметических операций, таких как умножение и деление, соответствующими процедурами складывающей машины (addition machine), введенной Р. Флойдом и Д. Кнутом. Вычисления и порядок следования команд подписываются динамической цифровой подписью, гомоморфной по сложению/вычитанию. Для цифровой подписи использована модифицированная схема Бенало. Верификация цифровых подписей результатов выполнения программы гарантирует обнаружение любых несанкционированных изменений в исходном тексте программы. Запропоновано розв’язання проблеми перевірки цілісності арифметичних програм з розгалуженнями і циклами, які виконуються на віддаленому обчислювальному ресурсі. Підхід до розв’язання полягає у заміні арифметичних операцій, таких як множення і ділення, відповідними процедурами додавальної машини (addition machine), введеної Р. Флойдом і Д. Кнутом. Обчислення і послідовність команд підписуються динамічним цифровим підписом, що є гомоморфним за додаванням/відніманням. Для цифрового підпису застосовано модифіковану схему Бенало. Верифікація цифрових підписів результатів виконання програми гарантує виявлення будь-яких несанкціонованих змін у вихідному тексті програми. A solution of the integrity verification problem for arithmetic programs with branching and looping statements running on a remote computing resource is proposed. The solution is to replace the arithmetic operations such as multiplication and division by corresponding 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. A modification of the Benaloh scheme is used for digital signatures implementation. Verification of digital signatures of computation results ensures detection of any unauthoried changes to the source code of the program. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Кібернетика Доверительные вычисления с использованием складывающей машины. II Довірчі обчислення з використанням додавальної машини. II Trusted computing with addition machines. II Article published earlier |
| spellingShingle | Доверительные вычисления с использованием складывающей машины. II Анисимов, А.В. Новокшонов, А.К. Кібернетика |
| title | Доверительные вычисления с использованием складывающей машины. II |
| title_alt | Довірчі обчислення з використанням додавальної машини. II Trusted computing with addition machines. II |
| title_full | Доверительные вычисления с использованием складывающей машины. II |
| title_fullStr | Доверительные вычисления с использованием складывающей машины. II |
| title_full_unstemmed | Доверительные вычисления с использованием складывающей машины. II |
| title_short | Доверительные вычисления с использованием складывающей машины. II |
| title_sort | доверительные вычисления с использованием складывающей машины. ii |
| topic | Кібернетика |
| topic_facet | Кібернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/144828 |
| work_keys_str_mv | AT anisimovav doveritelʹnyevyčisleniâsispolʹzovaniemskladyvaûŝeimašinyii AT novokšonovak doveritelʹnyevyčisleniâsispolʹzovaniemskladyvaûŝeimašinyii AT anisimovav dovírčíobčislennâzvikoristannâmdodavalʹnoímašiniii AT novokšonovak dovírčíobčislennâzvikoristannâmdodavalʹnoímašiniii AT anisimovav trustedcomputingwithadditionmachinesii AT novokšonovak trustedcomputingwithadditionmachinesii |