КРИПТОГРАФИЧЕСКИЙ ПРОТОКОЛ ДОКАЗАТЕЛЬСТВА С НУЛЕВЫМ РАЗГЛАШЕНИЕМ НА ЭЛЛИПТИЧЕСКИХ КРИВЫХ С ИСПОЛЬЗОВАНИЕМ СЛУЧАЙНЫХ СЕАНСОВЫХ КЛЮЧЕЙ И СООБЩЕНИЙ
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 100
- Downloads 0
СИСТЕМА ОБ’ЄКТИВНОГО КОНТРОЛЮ НОРМАТИВНИХ СТРОКІВ ПЕРЕСИЛАННЯ ПРОСТОЇ ПИСЬМОВОЇ КОРЕСПОНДЕНЦІЇ В МЕРЕЖАХ ПОШТОВОГО ЗВ’ЯЗКУ
Виявлено суттєві недоліки існуючої системи контролю нормативних строків пересилання простої письмової кореспонденції в мережах поштового зв’язку, що встановлюються в законодавчому порядку і підлягають безумовному виконан...
ПРЕДФИЛЬТРАЦИЯ ТВ ИЗОБРАЖЕНИЙ ВЫСОКОЙ ЧЕТКОСТИ
В статье даны результаты исследований влияния амплитудно-частотных характеристик фильтров предварительной фильтрации изображений высокой и сверхвысокой четкости на показатели качества. Основное внимание уделено моде...
THE METHOD OF SELECTING A HARDWARE-SOFTWARE IоT-PLATFORM TAKING TO ACCOUNT THE FACTORS OF FUNCTIONALITY AND COST
In the paper proposes a method for increasing the efficiency of the decision-making process for the selection of software and hardware platforms for the implementation of projects in the IoTsphere that taking into accoun...
FRACTAL CODING OF VIDEO SEQUENCES BY GENETIC ALGORITHM
The results of application of the modified genetic algorithm of fractal coding to still images and video sequences are presented. The dependence of the compression coefficient on the size of the rank block is obtained. A...
СИСТЕМЫ ОРТОГОНАЛЬНЫХ БИФАЗНЫХ СИГНАЛОВ НА ОСНОВЕ БЕНТ-ПОСЛЕДОВАТЕЛЬНОСТЕЙ
Проблема построения систем ортогональных бифазных сигналов, обладающих хорошими авто- и взаимокорреляционными свойствами, является актуальной для технологии CDMA, которая лежит в основе третьего, четвертого и пятого поко...