КРИПТОГРАФИЧЕСКИЙ ПРОТОКОЛ ДОКАЗАТЕЛЬСТВА С НУЛЕВЫМ РАЗГЛАШЕНИЕМ НА ЭЛЛИПТИЧЕСКИХ КРИВЫХ С ИСПОЛЬЗОВАНИЕМ СЛУЧАЙНЫХ СЕАНСОВЫХ КЛЮЧЕЙ И СООБЩЕНИЙ
Journal Title: Наукові праці ОНАЗ ім. О.С. Попова - Year 2017, Vol 1, Issue 2
Abstract
Предложен криптографический протокол доказательства с нулевым разглашением на основе математического аппарата эллиптических кривых с использованием случайных сеансовых ключей и сообщений, позволяющий установить истинность утверждения и при этом не передавать какой-либо дополнительной информации о самом утверждении. Определена полнота и корректность протокола, дан пример расчета, выполнена проверка модели и верификация протокола. Программная верификация криптографического протокола была выполнена с помощью программных модулей On the Fly Model Checker и Constraint Logic based Attack Searcher. Для проверки криптографического протокола на устойчивость к атакам злоумышленника были применены средства пакета Security Protocol Animator для AVISPA. Стойкость предложенного криптографического протокола основана на сложности решения задачи дискретного логарифмирования в группе точек эллиптической кривой.
Authors and Affiliations
A. V. Onatskiy
Keywords
Related Articles
- EP ID EP393099
- DOI -
- Views 87
- Downloads 0
OPTIMIZATION METHODS OF OPTICAL SIGNALS BY THE CRITERION OF THE MINIMUM OF THE PRESENTED BASE
The article is devoted to the development of methods for improving the spectral efficiency of fiber-optic transmission systems in terms of optimizing signals in a narrowband channel. The channel width is conventionally t...
ТАЙМЕРНЫЕ СИГНАЛЬНЫЕ КОНСТРУКЦИИ КАК ИНСТРУМЕНТ КОДОВОГО УПЛОТНЕНИЯ КАНАЛОВ
Оценивается целесообразность передачи в одном кодовом слове информации от двух и более источников, предложен алгоритм увеличения информационной емкости найквистового элемента в двоичном канале без увеличения длительности...
ESTIMATING THE SERVICE WAITING PROBABILITY IN A SINGLE-CHANNEL SYSTEM WITH SELF-SIMILAR TRAFFIC
Estimation of the service quality characteristics in a single-channel system with queue for the packet network is often reduced to the determination of the Hurst exponent for self-similar traffic, after which using the k...
ИТЕРАЦИОННОЕ ДЕКОДИРОВАНИЕ ПЕРФОРИРОВАННЫХ НЕСИСТЕМАТИЧЕСКИХ КОДОВ С СОКРАЩЁННЫМ ВХОДНЫМ АЛФАВИТОМ С ОТНОСИТЕЛЬНЫМИ СКОРОСТЯМИ 2b/3t И 2b/3q
Обычно для исследования свойств турбо-кодов в итерационном декодере на основе алгоритма Витерби с мягким решением применялась схема, рассчитанная на систематические свёрточные компонентные коды. В работах [4, 5] разработ...
ПРИСТРОЇ З ПРОГРАМОВАНИМИ ЦАП І АЦП ДЛЯ ОБРОБЛЕННЯ РАДІОСИГНАЛІВ
Розглянуто можливості і надано результати практичних досліджень стосовно можливостей використання базового елемента ЦАП і АЦП на основі атенюатора-подільника Троцишина як елемента нового типу - з програмованими параметра...