Наукова періодика України Наукові праці ОНАЗ ім. О. С. Попова


Онацкий А. В. 
Криптографический протокол доказательства с нулевым разглашением на эллиптических кривых / А. В. Онацкий, С. М. Горохов, О. В. Жарова // Наукові праці ОНАЗ ім. О. С. Попова. - 2013. - № 2. - С. 66-71. - Режим доступу: http://nbuv.gov.ua/UJRN/Nponaz_2013_2_12
Предложен криптографический протокол доказательства с нулевым разглашением знания на эллиптических кривых, позволяющий установить истинность утверждения и при этом не передавать какой-либо дополнительной информации о самом утверждении.Предложен криптографический протокол доказательства с нулевым разглашением на основе математического аппарата эллиптических кривых с использованием случайных сеансовых ключей и сообщений, позволяющий установить истинность утверждения и при этом не передавать какой-либо дополнительной информации о самом утверждении. Определена полнота и корректность протокола, дан пример расчета, выполнена проверка модели и верификация протокола. Программная верификация криптографического протокола была выполнена с помощью программных модулей On the Fly Model Checker и Constraint Logic based Attack Searcher. Для проверки криптографического протокола на устойчивость к атакам злоумышленника были применены средства пакета Security Protocol Animator для AVISPA. Стойкость предложенного криптографического протокола основана на сложности решения задачи дискретного логарифмирования в группе точек эллиптической кривой.Предложен криптографический протокол доказательства с нулевым разглашением на эллиптических кривых с использованием односторонней хэш-функции, позволяющий установить истинность утверждения и при этом не передавать какой-либо дополнительной информации о самом утверждении. Определена полнота и корректность протокола, дан пример расчета, выполнена проверка модели и верификация протокола. Программная верификация криптографического протокола была выполнена с помощью программных модулей On the Fly Model Checker и Constraint Logic based Attack Searcher. Для проверки криптографического протокола на устойчивость к атакам злоумышленника были применены средства пакета Security Protocol Animator для AVISPA. Стойкость предложенного криптографического протокола основана на сложности решения задачи дискретного логарифмирования в группе точек эллиптической кривой и криптографической стойкости хэш-функции.
  Повний текст PDF - 936.646 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Онацкий А.
  • Горохов С.
  • Жарова О.

  • Бібліографічний опис для цитування:

    Онацкий А. В. Криптографический протокол доказательства с нулевым разглашением на эллиптических кривых / А. В. Онацкий, С. М. Горохов, О. В. Жарова // Наукові праці ОНАЗ ім. О. С. Попова. - 2013. - № 2. - С. 66-71. - Режим доступу: http://nbuv.gov.ua/UJRN/Nponaz_2013_2_12.

      Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського