КРИПТОГРАФИЧЕСКИЙ ПРОТОКОЛ ДОКАЗАТЕЛЬСТВА С НУЛЕВЫМ РАЗГЛАШЕНИЕМ НА ЭЛЛИПТИЧЕСКИХ КРИВЫХ С ИСПОЛЬЗОВАНИЕМ ОДНОСТОРОННЕЙ ХЭШ-ФУНКЦИИ
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 99
- Downloads 0
OUT-OF-BAND CHARACTERISTICS OF THE MICROSTRIP ANTENNA
The development of wireless communication systems is accompanied by both the development of new frequency ranges and the simultaneous use of one band of frequencies by several radio services. This fact leads to an increa...
THE INCREASE OF TRANSMISSION PROTECTION BASED ON MULTIPLEXING OF TIMER SIGNAL CONSTRUCTIONS
In the article the method for increasing the security of confidential information transmission based on multiplexing of timer signal structures is addressed. The feasibility of this study is justified by the need to ensu...
ТАЙМЕРНЫЕ СИГНАЛЬНЫЕ КОНСТРУКЦИИ КАК ИНСТРУМЕНТ КОДОВОГО УПЛОТНЕНИЯ КАНАЛОВ
Оценивается целесообразность передачи в одном кодовом слове информации от двух и более источников, предложен алгоритм увеличения информационной емкости найквистового элемента в двоичном канале без увеличения длительности...
ЕФЕКТИВНІСТЬ ВАРІЮВАННЯ ПАРАМЕТРІВ У СИСТЕМАХ ПЕРЕДАЧІ ОРТОГОНАЛЬНИМИ ГАРМОНІЧНИМИ СИГНАЛАМИ
У статті надані результати дослідження ефективності варіювання параметрів групового сигналу систем передачі (СП), що використовують системи ортогональних гармонічних сигналів (ОГС) шляхом оцінки досяжної швидкості переда...
АНАЛІЗ МЕТОДІВ ОЦІНКИ ПРОЦЕСІВ ПЕРЕДАЧІ МУЛЬТИМЕДІЙНОГО ТРАФІКА В МЕРЕЖІ МАСОВОГО ОБСЛУГОВУВАННЯ
Розвиток засобів зв’язку останнього десятиліття спрямований на значне впровадження швидкісних цифрових мереж і нових послуг на основі пакетизованого передавання інформації різних видів. Основна мета розвитку мультисервіс...