Доверительные вычисления с использованием складывающей машины. II

Доверительные вычисления с использованием складывающей машины. II

Предложено решение проблемы проверки целостности арифметических программ c ветвлениями и циклами, выполняемых на удаленном вычислительном ресурсе. Подход к решению состоит в замене арифметических операций, таких как умножение и деление, соответствующими процедурами складывающей машины (addition mach...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Кибернетика и системный анализ
Datum:2018
Hauptverfasser: Анисимов, А.В., Новокшонов, А.К.
Format: Artikel
Sprache:Russian
Veröffentlicht: Інститут кібернетики ім. В.М. Глушкова НАН України 2018
Schlagworte:
Кібернетика
Online Zugang:https://nasplib.isofts.kiev.ua/handle/123456789/144828
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:Доверительные вычисления с использованием складывающей машины. II / А.В. Анисимов, А.К. Новокшонов // Кибернетика и системный анализ. — 2018. — Т. 54, № 1. — С. 3–12. — Бібліогр.: 32 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-144828
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
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Доверительные вычисления с использованием складывающей машины. II
spellingShingle Доверительные вычисления с использованием складывающей машины. II
Анисимов, А.В.
Новокшонов, А.К.
Кібернетика
title_short Доверительные вычисления с использованием складывающей машины. II
title_full Доверительные вычисления с использованием складывающей машины. II
title_fullStr Доверительные вычисления с использованием складывающей машины. II
title_full_unstemmed Доверительные вычисления с использованием складывающей машины. II
title_sort доверительные вычисления с использованием складывающей машины. ii
author Анисимов, А.В.
Новокшонов, А.К.
author_facet Анисимов, А.В.
Новокшонов, А.К.
topic Кібернетика
topic_facet Кібернетика
publishDate 2018
language Russian
container_title Кибернетика и системный анализ
publisher Інститут кібернетики ім. В.М. Глушкова НАН України
format Article
title_alt Довірчі обчислення з використанням додавальної машини. II
Trusted computing with addition machines. II
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.
issn 1019-5262
url https://nasplib.isofts.kiev.ua/handle/123456789/144828
citation_txt Доверительные вычисления с использованием складывающей машины. II / А.В. Анисимов, А.К. Новокшонов // Кибернетика и системный анализ. — 2018. — Т. 54, № 1. — С. 3–12. — Бібліогр.: 32 назв. — рос.
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
first_indexed 2025-12-07T20:01:53Z
last_indexed 2025-12-07T20:01:53Z
_version_ 1850881043437977600

Ähnliche Einträge