КРИПТОГРАФИЧЕСКИЙ ПРОТОКОЛ ДОКАЗАТЕЛЬСТВА С НУЛЕВЫМ РАЗГЛАШЕНИЕМ НА ЭЛЛИПТИЧЕСКИХ КРИВЫХ С ИСПОЛЬЗОВАНИЕМ ОДНОСТОРОННЕЙ ХЭШ-ФУНКЦИИ
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 100
- Downloads 0
КЛАССИФИКАЦИОННАЯ МОДЕЛЬ ИНФОРМАЦИОННЫХ И КОММУНИКАЦИОННЫХ ТЕХНОЛОГИЙ В ОБРАЗОВАТЕЛЬНОМ ПРОЦЕССЕ
Описана актуальность применения ИКТ в образовательном процессе. Указано, что ИКТ являются ключевой составляющей для формирования у современных учеников навыков и умений XXI века. Приведена классификационная модель сре...
ИТЕРАЦИОННОЕ ДЕКОДИРОВАНИЕ ПЕРФОРИРОВАННЫХ НЕСИСТЕМАТИЧЕСКИХ КОДОВ С СОКРАЩЁННЫМ ВХОДНЫМ АЛФАВИТОМ С ОТНОСИТЕЛЬНЫМИ СКОРОСТЯМИ 2b/3t И 2b/3q
Обычно для исследования свойств турбо-кодов в итерационном декодере на основе алгоритма Витерби с мягким решением применялась схема, рассчитанная на систематические свёрточные компонентные коды. В работах [4, 5] разработ...
ИНФОРМАЦИОННЫЕ ПАРАМЕТРЫ (n,k) КОДОВ СЛЕПЯНА С КОМПЕНСАЦИЕЙ ИЗБЫТОЧНОСТИ ТАЙМЕРНЫМИ СИГНАЛАМИ
В работе проведена оценка величины энтропии в корректирующих избыточных позиционных кодах Слепяна. Определены информационная емкость найквистового элемента и влияние избыточности кода (r ) на энтропию сообщения при позиц...
АЛГОРИТМ РЕШЕНИЯ ЗАДАЧИ ВЫБОРА ОПТИМАЛЬНОГО НАБОРА РЕСУРСОВ СЕРВЕРА ДЛЯ УСЛУГИ IPTV
В работе предложен алгоритм решения задачи выбора оптимального набора комплектующих сервера, входящего в состав сервисной платформы для предоставления услуги IPTV в режиме одноадресного вещания. Задача формализуется в те...
УДОСКОНАЛЕННЯ ПЕРЕЛІКУ УНІВЕРСАЛЬНИХ ПОСЛУГ ПОШТОВОГО ЗВ’ЯЗКУ
Зроблено аналіз стану попиту та доходів від надання універсальних послуг поштового зв’язку. Доведено зміну споживчих пріоритетів та тенденцій на ринку послуг зв’язку та інформатизації, а також суміжних ринків. Проаналізо...