КРИПТОГРАФИЧЕСКИЙ ПРОТОКОЛ ДОКАЗАТЕЛЬСТВА С НУЛЕВЫМ РАЗГЛАШЕНИЕМ НА ЭЛЛИПТИЧЕСКИХ КРИВЫХ С ИСПОЛЬЗОВАНИЕМ СЛУЧАЙНЫХ СЕАНСОВЫХ КЛЮЧЕЙ И СООБЩЕНИЙ

Аннотация

Предложен криптографический протокол доказательства с нулевым разглашением на основе математического аппарата эллиптических кривых с использованием случайных сеансовых ключей и сообщений, позволяющий установить истинность утверждения и при этом не передавать какой-либо дополнительной информации о самом утверждении. Определена полнота и корректность протокола, дан пример расчета, выполнена проверка модели и верификация протокола. Программная верификация криптографического протокола была выполнена с помощью программных модулей On the Fly Model Checker и Constraint Logic based Attack Searcher. Для проверки криптографического протокола на устойчивость к атакам злоумышленника были применены средства пакета Security Protocol Animator для AVISPA. Стойкость предложенного криптографического протокола основана на сложности решения задачи дискретного логарифмирования в группе точек эллиптической кривой.