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

Анотація

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