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

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

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

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2018
Автори: Анисимов, А.В., Новокшонов, А.К.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут кібернетики ім. В.М. Глушкова НАН України 2018
Назва видання:Кибернетика и системный анализ
Теми:
Кібернетика
Онлайн доступ:http://dspace.nbuv.gov.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
id irk-123456789-144828
record_format dspace
spelling irk-123456789-1448282019-01-06T01:23:11Z Доверительные вычисления с использованием складывающей машины. II Анисимов, А.В. Новокшонов, А.К. Кібернетика Предложено решение проблемы проверки целостности арифметических программ 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. 2018 Article Доверительные вычисления с использованием складывающей машины. II / А.В. Анисимов, А.К. Новокшонов // Кибернетика и системный анализ. — 2018. — Т. 54, № 1. — С. 3–12. — Бібліогр.: 32 назв. — рос. 1019-5262 http://dspace.nbuv.gov.ua/handle/123456789/144828 519.72, 003.26 ru Кибернетика и системный анализ Інститут кібернетики ім. В.М. Глушкова НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Russian
topic Кібернетика
Кібернетика
spellingShingle Кібернетика
Кібернетика
Анисимов, А.В.
Новокшонов, А.К.
Доверительные вычисления с использованием складывающей машины. II
Кибернетика и системный анализ
description Предложено решение проблемы проверки целостности арифметических программ c ветвлениями и циклами, выполняемых на удаленном вычислительном ресурсе. Подход к решению состоит в замене арифметических операций, таких как умножение и деление, соответствующими процедурами складывающей машины (addition machine), введенной Р. Флойдом и Д. Кнутом. Вычисления и порядок следования команд подписываются динамической цифровой подписью, гомоморфной по сложению/вычитанию. Для цифровой подписи использована модифицированная схема Бенало. Верификация цифровых подписей результатов выполнения программы гарантирует обнаружение любых несанкционированных изменений в исходном тексте программы.
format Article
author Анисимов, А.В.
Новокшонов, А.К.
author_facet Анисимов, А.В.
Новокшонов, А.К.
author_sort Анисимов, А.В.
title Доверительные вычисления с использованием складывающей машины. II
title_short Доверительные вычисления с использованием складывающей машины. II
title_full Доверительные вычисления с использованием складывающей машины. II
title_fullStr Доверительные вычисления с использованием складывающей машины. II
title_full_unstemmed Доверительные вычисления с использованием складывающей машины. II
title_sort доверительные вычисления с использованием складывающей машины. ii
publisher Інститут кібернетики ім. В.М. Глушкова НАН України
publishDate 2018
topic_facet Кібернетика
url http://dspace.nbuv.gov.ua/handle/123456789/144828
citation_txt Доверительные вычисления с использованием складывающей машины. II / А.В. Анисимов, А.К. Новокшонов // Кибернетика и системный анализ. — 2018. — Т. 54, № 1. — С. 3–12. — Бібліогр.: 32 назв. — рос.
series Кибернетика и системный анализ
work_keys_str_mv AT anisimovav doveritelʹnyevyčisleniâsispolʹzovaniemskladyvaûŝejmašinyii
AT novokšonovak doveritelʹnyevyčisleniâsispolʹzovaniemskladyvaûŝejmašinyii
first_indexed 2023-05-20T17:20:34Z
last_indexed 2023-05-20T17:20:34Z
_version_ 1796153078288744448

Схожі ресурси