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

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

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

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в: :Кибернетика и системный анализ
Дата:2017
Автори: Анисимов, А.В., Новокшонов, А.К.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут кібернетики ім. В.М. Глушкова НАН України 2017
Теми:
Кібернетика
Онлайн доступ:https://nasplib.isofts.kiev.ua/handle/123456789/144785
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Доверительные вычисления с использованием складывающей машины. I / А.В. Анисимов, А.К. Новокшонов // Кибернетика и системный анализ. — 2017. — Т. 53, № 5. — С. 3–13. — Бібліогр.: 16 назв. — рос.

Репозитарії

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

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