КРИПТОГРАФИЧЕСКИЙ ПРОТОКОЛ ДОКАЗАТЕЛЬСТВА С НУЛЕВЫМ РАЗГЛАШЕНИЕМ НА ЭЛЛИПТИЧЕСКИХ КРИВЫХ С ИСПОЛЬЗОВАНИЕМ ОДНОСТОРОННЕЙ ХЭШ-ФУНКЦИИ
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
ДОСЛІДЖЕННЯ ВПЛИВУ ПРІОРИТЕТІВ НА ЧАС ОЧІКУВАННЯ ПАКЕТІВ В ОДНОКАНАЛЬНІЙ СИСТЕМІ
У мультисервісних пакетних мережах зв’язку в залежності від типу служби (сервісу) необхідні певні характеристики якості обслуговування її трафіка. Для цього з метою регулювання трафіка різних служб широко застосовується...
РАСЧЕТ ВЕРОЯТНОСТИ ОЖИДАНИЯ ОБСЛУЖИВАНИЯ В ОДНОКАНАЛЬНОЙ СИСТЕМЕ С САМОПОДОБНЫМ ТРАФИКОМ
Расчет характеристик качества обслуживания в одноканальной системе пакетной сети связи часто сводится к нахождению коэффициента Херста самоподобности трафика, после чего по известной формуле Норроса рассчитывается средне...
ОЦІНКА ЕФЕКТИВНОСТІ ЗАСТОСУВАННЯ СИСТЕМИ «ВЕКТОРИНГ» НА ВІТЧИЗНЯНИХ ТЕЛЕФОННИХ БАГАТОПАРНИХ КАБЕЛЯХ
Визначено спрощені формули розрахунку сумарної потужності перехідних завад на дальньому кінці, захищеності від сумарної перехідної завади на дальньому кінці та придушення системою «векторинг» перехідних завад при паралел...
МЕТОД РАСЧЕТА ХАРАКТЕРИСТИК УЗЛА ДОСТУПА СЕТИ NGN ПРИ ОБСЛУЖИВАНИИ ТРАФИКА ПЕРЕДАЧИ РЕЧИ И ДАННЫХ
Узлы доступа сетей NGN обеспечивают агрегацию трафика к различным службам сети и его передачу на транспортный уровень, что позволяет называть такие сети мультисервисными. Эти сети используются для одновременной передачи...
СТВОРЕННЯ ПЕРЕДУМОВ ПІДВИЩЕННЯ КОНКУРЕНТОСПРОМОЖНОСТІ ПРИЗНАЧЕНИХ ОПЕРАТОРІВ НА РИНКУ КУР’ЄРСЬКИХ ПОСЛУГ ПОШТОВОГО ЗВ’ЯЗКУ
Сформульовано передумови та визначено можливі шляхи підвищення конкурентоспроможності призначених операторів на ринку кур’єрських послуг поштового зв’язку. Для виявлення можливих шляхів підвищення конкурентоспроможності...