КРИПТОГРАФИЧЕСКИЙ ПРОТОКОЛ ДОКАЗАТЕЛЬСТВА С НУЛЕВЫМ РАЗГЛАШЕНИЕМ НА ЭЛЛИПТИЧЕСКИХ КРИВЫХ С ИСПОЛЬЗОВАНИЕМ ОДНОСТОРОННЕЙ ХЭШ-ФУНКЦИИ
Journal Title: Наукові праці ОНАЗ ім. О.С. Попова - Year 2018, Vol 1, Issue 1
Abstract
Предложен криптографический протокол доказательства с нулевым разглашением на эллиптических кривых с использованием односторонней хэш-функции, позволяющий установить истинность утверждения и при этом не передавать какой-либо дополнительной информации о самом утверждении. Определена полнота и корректность протокола, дан пример расчета, выполнена проверка модели и верификация протокола. Программная верификация криптографического протокола была выполнена с помощью программных модулей On the Fly Model Checker и Constraint Logic based Attack Searcher. Для проверки криптографического протокола на устойчивость к атакам злоумышленника были применены средства пакета Security Protocol Animator для AVISPA. Стойкость предложенного криптографического протокола основана на сложности решения задачи дискретного логарифмирования в группе точек эллиптической кривой и криптографической стойкости хэш-функции.
Authors and Affiliations
A. V. Onatskiy, O. V. Zharova
Keywords
Related Articles
- EP ID EP393967
- DOI -
- Views 104
- Downloads 0
ИСПОЛЬЗОВАНИЕ ДИФФЕРЕНЦИАЛЬНОЙ ФАЗЫ В КАЧЕСТВЕ ИНФОРМАЦИОННОГО ПАРАМЕТРА В МЕТЕОРОЛОГИЧЕСКИХ РАДИОЛОКАЦИОННЫХ ПОЛЯРИМЕТРАХ
В статье теоретически обоснована возможность использования дифференциальной фазы при радиолокационном распознавании выпадающего дождя различной интенсивности и измерении его характеристики. Использована форма частиц ливн...
THE METHOD OF OPTIMAL SYNTHESIS OF THE BROADBAND SUBSCRIBER ACCESS NETWORK
The proposed method is actualized for the optimal synthesis of a subscriber access network during its reconstruction in order to ensure broadband availability and accessibility to new services that require high transmiss...
ОЦІНКА ШВИДКОСТІ ПЕРЕДАВАННЯ ЦИФРОВИХ АБОНЕНТСЬКИХ ЛІНІЙ ЗА ТЕХНОЛОГІЄЮ G.FAST
Удосконалено метод оцінки нескомпенсованої перехідної завади при застосуванні системи «векторинг». Надані результати практичного вимірювання частотних параметрів кабелю ТППеп-10х2х0,4 у діапазоні частот до 100 МГц та вик...
УПРОЩЕННЫЙ РАСЧЕТ КОЭФФИЦИЕНТА ХЕРСТА МЕТОДОМ R/S-АНАЛИЗА
Трафик пакетных сетей связи или распределение количества пакетов в единицу времени описывается самоподобным (self-similarity) случайным процессом с параметром Херста около 0,65…0,8. Обычно расчет коэффициента самоподобия...
РОЗРАХУНОК ХАРАКТЕРИСТИК ЯКОСТІ ОБСЛУГОВУВАННЯ САМОПОДІБНОГО ТРАФІКА НА ОСНОВІ АПРОКСИМУЮЧОЇ ФУНКЦІЇ
Розрахунок характеристик якості обслуговування в одноканальній системі пакетної мережі зв’язку часто зводиться до знаходження коефіцієнта Херста самоподібності трафіка, після чого за відомою формулою Норроса розраховуєть...