Наукова періодика України | Наукові праці ОНАЗ ім. О. С. Попова | ||
Онацкий А. В. Криптографический протокол доказательства с нулевым разглашением на эллиптических кривых с использованием односторонней хэш-функции / А. В. Онацкий, О. В. Жарова // Наукові праці ОНАЗ ім. О. С. Попова. - 2018. - № 1. - С. 84-92. - Режим доступу: http://nbuv.gov.ua/UJRN/Nponaz_2018_1_13 Предложен криптографический протокол доказательства с нулевым разглашением знания на эллиптических кривых, позволяющий установить истинность утверждения и при этом не передавать какой-либо дополнительной информации о самом утверждении.Предложен криптографический протокол доказательства с нулевым разглашением на основе математического аппарата эллиптических кривых с использованием случайных сеансовых ключей и сообщений, позволяющий установить истинность утверждения и при этом не передавать какой-либо дополнительной информации о самом утверждении. Определена полнота и корректность протокола, дан пример расчета, выполнена проверка модели и верификация протокола. Программная верификация криптографического протокола была выполнена с помощью программных модулей 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. Стойкость предложенного криптографического протокола основана на сложности решения задачи дискретного логарифмирования в группе точек эллиптической кривой и криптографической стойкости хэш-функции. Цитованість авторів публікації: Бібліографічний опис для цитування: Онацкий А. В. Криптографический протокол доказательства с нулевым разглашением на эллиптических кривых с использованием односторонней хэш-функции / А. В. Онацкий, О. В. Жарова // Наукові праці ОНАЗ ім. О. С. Попова. - 2018. - № 1. - С. 84-92. - Режим доступу: http://nbuv.gov.ua/UJRN/Nponaz_2018_1_13. Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |