Show simple item record

dc.contributor.authorОнацкий, А.В.
dc.contributor.authorЖарова, О.В.
dc.contributor.authorОнацький, О.В.
dc.contributor.authorЖарова, О.В.
dc.contributor.authorOnatskiy, A.V.
dc.contributor.authorGarova, O.V.
dc.date.accessioned2018-03-21T08:53:24Z
dc.date.available2018-03-21T08:53:24Z
dc.date.issued2017
dc.identifier.issn0131-8675
dc.identifier.urihttp://hdl.handle.net/123456789/1457
dc.descriptionОнацкий А.В. Криптографический протокол доказательства с нулевым разглашением на эллиптических кривых с использованием случайных сеансовых ключей и сообщений / А.В. Онацкий // Наукові праці: періодичний науковий збірник. – ОНАЗ ім.О.С.Попова. - 2017. - Вип. 2. – С. 123-130en_US
dc.description.abstractПредложен криптографический протокол доказательства с нулевым разглашением на основе математического аппарата эллиптических кривых с использованием случайных сеансовых ключей и сообщений, позволяющий установить истинность утверждения и при этом не передавать какой-либо дополнительной информации о самом утверждении. Определена полнота и корректность протокола, дан пример расчета, выполнена проверка модели и верификация протокола. Программная верификация криптографического протокола была выполнена с помощью программных модулей On the Fly Model Checker и Constraint Logic based Attack Searcher. Для проверки криптографического протокола на устойчивость к атакам злоумышленника были применены средства пакета Security Protocol Animator для AVISPA. Стойкость предложенного криптографического протокола основана на сложности решения задачи дискретного логарифмирования в группе точек эллиптической кривой. Запропоновано криптографічний протокол доказу із нульовим розголошенням на основі математичного апарату еліптичних кривих з використанням випадкових сеансових ключів і повідомлень, що дозволяє встановити істинність твердження й при цьому не передавати будь-якої додаткової інформації про саме твердження. Визначено повноту і коректність протоколу, надано приклад розрахунку, виконано перевірку моделі і верифікацію протоколу. Програмна верифікація криптографічного протоколу була виконана за допомогою програмних модулів On the Fly Model Checker і Constraint Logic based Attack Searcher. Для перевірки криптографічного протоколу настійкість до атак зловмисника були застосовані засоби пакета Security Protocol Animator для AVISPA. Стійкість запропонованого криптографічного протоколу ґрунтується на складності розв’язання задачі дискретного логарифмування в групі точок еліптичної кривої. Proposed cryptographic protocol with zero-knowledge proof on the basis of the mathematical apparatus of elliptic curves using random session keys and messages, allowing to establish the truth of allegation and does not convey any additional information about the approval. The completeness and correctness of the protocol, an example of calculation is given, model validation and verification of the protocol are performed. Software verification of the cryptographic protocol was performed using the software modules On the Fly Model Checker and Constraint Logic based Attack Searcher. To validation the cryptographic protocol for resistance to intruder attacks was used the Security Protocol Animator package for AVISPA. The security of the proposed cryptographic protocol is based on the difficulty of solving the elliptic curve discrete logarithm problem.en_US
dc.language.isootheren_US
dc.publisherОНАЗ ім. О.С. Поповаen_US
dc.subjectКриптографический протоколen_US
dc.subjectЭллиптические кривыеen_US
dc.subjectИдентификацияen_US
dc.subjectАутентификацияen_US
dc.subjectКриптографічний протоколen_US
dc.subjectЕліптичні кривіen_US
dc.subjectІдентифікаціяen_US
dc.subjectАутентифікаціяen_US
dc.subjectCryptographic protocolen_US
dc.subjectElliptic curvesen_US
dc.subjectIdentificationen_US
dc.subjectAuthenticationen_US
dc.titleКРИПТОГРАФИЧЕСКИЙ ПРОТОКОЛ ДОКАЗАТЕЛЬСТВА С НУЛЕВЫМ РАЗГЛАШЕНИЕМ НА ЭЛЛИПТИЧЕСКИХ КРИВЫХ С ИСПОЛЬЗОВАНИЕМ СЛУЧАЙНЫХ СЕАНСОВЫХ КЛЮЧЕЙ И СООБЩЕНИЙen_US
dc.title.alternativeКРИПТОГРАФІЧНИЙ ПРОТОКОЛ ДОКАЗУ ІЗ НУЛЬОВИМ РОЗГОЛОШЕННЯМ НА ЕЛІПТИЧНИХ КРИВИХ З ВИКОРИСТАННЯМ ВИПАДКОВИХ СЕАНСОВИХ КЛЮЧІВ І ПОВІДОМЛЕНЬen_US
dc.title.alternativeCRYPTOGRAPHIC PROTOCOL ZERO-KNOWLEDGE PROOF ON ELLIPTIC CURVES USING RANDOM SESSION KEYS AND MESSAGESen_US
dc.typeArticleen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

  • Статті
    Статьи з телекомунікаційних систем та мереж, антен та пристроїв мікрохвильової техніки, радіотехнічних пристроїв та засобів телекомунікацій, радіотехнічних та телевізійних систем, оптоелектронних систем, твердотільної електроніки, економіки та управління підприємствами (економіка зв'язку)

Show simple item record