КРИПТОГРАФИЧЕСКИЙ ПРОТОКОЛ ДОКАЗАТЕЛЬСТВА С НУЛЕВЫМ РАЗГЛАШЕНИЕМ НА ЭЛЛИПТИЧЕСКИХ КРИВЫХ С ИСПОЛЬЗОВАНИЕМ ОДНОСТОРОННЕЙ ХЭШ-ФУНКЦИИ
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 98
- Downloads 0
ФУРЬЕ-АНАЛИЗ WAVELET-ПРЕОБРАЗОВАНИЯ ДЛЯ ЦИФРОВЫХ ИЗОБРАЖЕНИЙ
Даны результаты оценки искажений цветного изображения сверхвысокой четкости в видеоприложениях со сжатием, основанным на применении wavelet-преобразований в базисах биортогональных wavelet и моделирование декомпозиции wa...
УПРОЩЕННЫЙ РАСЧЕТ КОЭФФИЦИЕНТА ХЕРСТА МЕТОДОМ R/S-АНАЛИЗА
Трафик пакетных сетей связи или распределение количества пакетов в единицу времени описывается самоподобным (self-similarity) случайным процессом с параметром Херста около 0,65…0,8. Обычно расчет коэффициента самоподобия...
НЕСКІНЧЕННІ СІМЕЙСТВА ПОСЛІДОВНОСТЕЙ ПЕЛІ З ОПТИМАЛЬНИМ ПІК-ФАКТОРОМ СПЕКТРА УОЛША-АДАМАРА
Стаття присвячена питанню зниження пік-фактора сигналів у системах з кодовим розділенням каналів MC-CDMA за рахунок застосування кодів постійної амплітуди (C-кодів). Проведена оптимізація вибору матриці ортогонального пе...
ГРАНИЧНЫЕ ЗНАЧЕНИЯ ЭНТРОПИИ ПРИ ПОСТОЯННОЙ ДЛИТЕЛЬНОСТИ КОДОВЫХ СЛОВ
Проведен анализ информационных параметров позиционных и таймерных кодов, а также методов увеличения содержания информации в кодовых словах (энтропии) при постоянной длительности интервала реализации (m = const найквистов...
ИНФРОКРАСНЫЕ ПРИЕМНИКИ ИНФОРМАЦИИ НА ОСНОВЕ ПОЛУПРОВОДНИКОВЫХ КОМПОЗИТНЫХ МАТЕРИАЛОВ
В статье представлен фототранзистор (ПТШ – полевой транзистор Шоттки) с барьером Шоттки на основе контакта IrSi-Si индуцированного и р-канального встроенного типа, который имеет высокую фоточувствительность и более широк...