?
Анализ протокола выработки общего ключа для управления микросхемой интеллектуальной карты
Прикладная дискретная математика. Приложение. 2026. № 19. С. 151–159.
Работа содержит результаты формального анализа криптографических механизмов, входящих в состав проекта методических рекомендаций «Защищенный универсальный протокол передачи данных и управления микросхемой интеллектуальной карты» (протокол SECUNDA). Получена формальная модель и перечень трудноразрешимых математических задач, трудоёмкостью решения которых можно оценить стойкость используемых криптографических механизмов.
I.I. Sergeev, I.A. Lomazova, Modeling and Analysis of Information Systems 2026 Vol. 33 No. 3 P. 394–419
Объектно-ориентированный process mining сформировался как эффективная парадигма анализа событийных данных, включающих несколько взаимодействующих бизнес-объектов. Существующие методы обнаружения моделей часто опираются на объектно-ориентированные сети Петри с фиксированными кратностями дуг, что ограничивает их способность представлять параметрические закономерности потребления и производства ресурсов, а также отражать количественные зависимости между взаимодействующими типами объектов. В данной работе предлагается метод обнаружения объектно-ориентированных ...
Добавлено: 24 сентября 2026 г.
Паршаков П. А., Паклина С. Н., International Journal of Human-Computer Interaction 2026 P. 1–17
Добавлено: 23 сентября 2026 г.
Андраби У. М., Wadood E., Ojha S. K. и др., IEEE Access 2026 Vol. 14 P. 103358–103375
Добавлено: 23 сентября 2026 г.
Добавлено: 23 сентября 2026 г.
Кертес-Фаркаш А., Аквей Ф. Л., Journal of Proteome Research 2026 Vol. 25 P. 3764–3768
Добавлено: 23 сентября 2026 г.
Maddalena L., Yildiz B., Del Vecchio Blanco F. и др., Risk Analysis 2026 Vol. 46 No. 4 P. 1–26
Добавлено: 22 сентября 2026 г.
Aleksei Samarin, Alexander Savelev, Aleksei Toropov и др., Pattern Recognition and Image Analysis 2024 Vol. 34 No. 3 P. 855–862
Добавлено: 21 сентября 2026 г.
Aleksei Samarin, Назаренко А. А., Alexander Savelev и др., Pattern Recognition and Image Analysis 2024 Vol. 34 No. 3 P. 844–854
Добавлено: 21 сентября 2026 г.
Aleksei Samarin, Alexander Savelev, Aleksei Toropov и др., Optical Memory and Neural Networks (Information Optics) 2024 Vol. 33 P. 424–434
Добавлено: 21 сентября 2026 г.
Aleksei Samarin, Aleksei Toropov, Alexander Savelev и др., Pattern Recognition and Image Analysis 2024 Vol. 34 No. 4 P. 1053–1060
Добавлено: 21 сентября 2026 г.
Самарин А. В., Торопов А. Г., Савельев А. Г. и др., Pattern Recognition and Image Analysis 2024 Vol. 34 No. 4 P. 1044–1052
Добавлено: 21 сентября 2026 г.
Singapore: Springer, 2025.
Добавлено: 21 сентября 2026 г.
Томат А., Sergei O. Kuznetsov, International Journal of Approximate Reasoning 2026 Vol. 197 Article 109754
Добавлено: 21 сентября 2026 г.
Добавлено: 21 сентября 2026 г.
Aleksei Samarin, Alexander Savelev, Aleksei Toropov и др., Pattern Recognition and Image Analysis 2025 Vol. 35 No. 2 P. 169–178
Добавлено: 21 сентября 2026 г.
Aleksei Samarin, Alexander Savelev, Aleksei Toropov и др., Journal of Imaging 2025 Vol. 11 No. 10 Article 359
Добавлено: 21 сентября 2026 г.
Cham: Springer, 2025.
Добавлено: 21 сентября 2026 г.
Добрина Д. Н., Нестеренко А. Ю., В кн.: Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование. Современные проблемы, приложения и проблемы истории. Материалы XXIV Международной конференции, посвящённой 110-летию со дня рождения академика Юрия Владимировича Линника и 110-летию со дня рождения профессора Андрея Борисовича Шидловского и 80-летию со дня рождения профессора Геннадия Ивановича Архипова.: Тула: Тульский государственный педагогический университет им. Л.Н. Толстого, 2025. С. 84–90.
В докладе рассмотрны современные схемы инкапсуляции ключа и асимметричного шифрования с возможностью аутентификации отправителя сообщений ...
Добавлено: 27 августа 2026 г.
Veselova V. A., A. A. Ovchinnikov, A. M. Veresova, , in: WAVE ELECTRONICS AND ITS APPLICATION IN INFORMATION AND TELECOMMUNICATION SYSTEMS. 2021. (WECONF 2021) St. Petersburg, Russia, 31 May - 4 June 2021.: IEEE, 2021. P. 1–4.
Добавлено: 27 октября 2022 г.
Нестеренко А. Ю., Лебедев П. А., Семенов А. М., / Технический комитет по стандартизации "Криптографическая защита информации". Серия б/н "Криптографические исследования". 2019.
Документ содержит результаты анализа криптографических механизмов защищенного взаимодействия контрольных и измерительных устройств.
Постулируются модель нарушителя, в рамках которой проводится анализ, а также свойства безопасности, которые должны обеспечиваться рассматриваемыми механизмами защищенного взаимодействия. Приводятся результаты анализа выполнимости исследуемых свойств безопасности.
Рассматриваются построенные на различных принципах атаки, практически реализующие методы компрометации протоколов выработки общих ключей, а также реализованные методы защиты ...
Добавлено: 18 марта 2019 г.
Семенов А. М., Математические вопросы криптографии 2017 Vol. 8 No. 2 P. 131–142
Работа посвящена изучению соответствия ряда российских крип- тографических протоколов определенному набору свойств безопасности. Ана- лиз проводился в связи с возможной стандартизацией в Российской Феде- рации этих решений. С помощью доступных в сети Интернет программных средств автоматической верификации криптографических протоколов, таких как Proverif, AVISPA-SPAN и Scyther, проведен анализ указанных протоколов, найден ряд уязвимостей и предложены пути ...
Добавлено: 28 ноября 2017 г.
Нестеренко А. Ю., Пугачев А. В., Прикладная дискретная математика 2015 № 4 С. 56–71
Предлагается гибридная схема шифрования, которая базируется на схеме асимметричного шифрования Эль-Гамаля и использует предварительно распределённые секретные ключи для защиты от навязывания сообщений. Стойкость схемы основывается на высокой трудоёмкости решения задачи дискретного логарифмирования в группе точек эллиптической кривой. Основная особенность предлагаемой схемы заключается в том, что шифруемое сообщение не представляется в виде точки эллиптической кривой, что позволяет зашифровывать длинные ...
Добавлено: 14 марта 2016 г.