Авторизація
Прізвище
Пароль  
Увійти
 

Вид пошуку
 
Стандартний
Розширений
Професійний
Розподілений
За словником

Бази даних


Електронна картотека аналітичного опису статей - результати пошуку

Електронний каталог книг
Електронна картотека аналітичного опису статей
Зведений краєзнавчий каталог Чернігівщини
Електронна бібліотека
Електронний каталог відділу мистецтв (ноти, диски, грамплатівки)
Електронний каталог книг іноземними мовами
Друковані ЗМІ про нас
Зона пошуку
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Пошуковий запит: (<.>K=верифіковані обчислення<.>)
Загальна кількість знайдених документів : 1
1.


    Анисимов, Анатолий Васильевич.
    Доверительные вычисления с использованием складывающей машины.ІІ [Текст] / А. В. Анисимов, А. К. Новокшонов // Кибернетика и системный анализ. - 2018. - № 1. - С. 3-12 : рис. - Библиогр.: с. 11-12
УДК
519.72, 003.26
Рубрики: Кібернетика
Кл.слова (ненормовані):
цифровий підпис -- верифіковані обчислення -- гомоморфна криптографія
Анотація: Запропоновано розв'язання проблеми перевірки цілісності арифметичних програм з розгалуженнями і циклами, які виконуються на віддаленому обчислювальному ресурсі. Підхід до розв'язання полягає у заміні арифметичних операцій, таких як множення і ділення, відповідними процедурами додавальної машини (addіtion machine), введеної Р.Флойдомі і Д. Кнутом. Обчислення і послідовність команд підписується динамічним цифровим підписом, що є гомоморфним за додаванням/відніманням. Для цифрового підпису застосовано модифіковану схему Бенало. Верифікація цифрових підписів результатів використання програми гарантує виявлення будь-яких несанкціонованих змін у вихідному тексті програми.


Дод.точки доступу:
Новокшонов, Андрей Константинович

Є примірники у відділах: всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)

Знайти схожі
 
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)