?
Analysis of Russian key-agreement protocols using automated verification tools
Математические вопросы криптографии. 2017. Vol. 8. No. 2. P. 131–142.
Семенов А. М.
Работа посвящена изучению соответствия ряда российских крип- тографических протоколов определенному набору свойств безопасности. Ана- лиз проводился в связи с возможной стандартизацией в Российской Феде- рации этих решений. С помощью доступных в сети Интернет программных средств автоматической верификации криптографических протоколов, таких как Proverif, AVISPA-SPAN и Scyther, проведен анализ указанных протоколов, найден ряд уязвимостей и предложены пути их исправления.
Приоритетные направления:
компьютерно-математическое
Язык:
английский
Shabanov N., Kuricheva O., Kurbatova J. и др., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.
Добавлено: 21 августа 2026 г.
Добавлено: 19 мая 2026 г.
Добавлено: 28 апреля 2026 г.
Добавлено: 20 апреля 2026 г.
Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.
Добавлено: 2 апреля 2026 г.
Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...
Добавлено: 15 января 2026 г.
Петрованов И. С., Сергеев А. В., / Series Computer Science "arxiv.org". 2025. No. 2512.18332.
Добавлено: 24 декабря 2025 г.
Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset
Меньшиков И. А., Бернадотт А. К., Елфимов Н. С., / Series arXie "Statistical mechanics". 2025.
Добавлено: 1 декабря 2025 г.
А. Ю. Нестеренко, А. М. Семенов, Прикладная дискретная математика 2022 № 56 С. 33–82
Предлагается метод оценки безопасности криптографических протоколов, используемых для защиты информации как в информационно-телекоммуникационных сетях, так и в сетях "Интернета вещей". Описывается порядок оценки безопасности информационной системы, включающий в себя построение перечня угроз, модели угроз и детализации модели и возможностей нарушителя. Рассматривается понятие "свойство безопасности", приводится расширенный перечень указанных свойств, их классификация и формальная математическая модель. ...
Добавлено: 7 июля 2022 г.
A Comprehensive and Reproducible Comparison of Cryptographic Primitives Execution on Android Devices
Ometov A., Zeman K., Masek P. и др., IEEE Access 2021 No. 9 P. 54625–54638
Добавлено: 26 августа 2021 г.
Кацман В., Новиков Ф., Мосин В. Д., IOP Conference Series: Materials Science and Engineering (MSE) 2020 Vol. 734 P. 012132
Добавлено: 10 декабря 2020 г.
Нестеренко А. Ю., Семенов А. М., Безопасность информационных технологий 2020 Т. 27 № 4 С. 7–16
В работе описываются ключевые особенности криптографического протокола, обеспечивающего защищенное взаимодействие контрольных и измерительных устройств. Описывается иерархическая структура, лежащая в основе данного протокола, и связи между транспортным и сеансовым уровнями модели ISO, к которой привязаны различные этапы обработки сообщений. Безопасность данного протокола, основана на применении стандартизированных отечественных криптографических алгоритмов и механизмов, которые позволяют обеспечить аутентификацию и ...
Добавлено: 2 декабря 2020 г.
Ometov A., Bardinova Y., AFANASYEVA A. и др., IEEE Access 2020 Vol. 8 P. 103994–104015
Добавлено: 8 октября 2020 г.
Нестеренко А. Ю., Семенов А. М., Journal of Computer Virology and Hacking Techniques 2020 Vol. 16 No. 4 P. 305–312
В 2018 году авторы этой статьи разработали криптографический механизм, который был принят в 2019 году в качестве рекомендации по стандартизации Р 1323565.1.028-2019 «Криптографические механизмы для безопасного взаимодействия контрольно-измерительных приборов» Техническим комитетом «Защита криптографической информации». Эти рекомендации содержат описание семейства криптографических протоколов, предназначенных для получения ключевой информации, а также для обмена зашифрованной информацией с защитой целостности. ...
Добавлено: 4 августа 2020 г.
Семенов А. М., Ноздрунов В., Информационная безопасность 2019 № 5 С. 38–40
Ввиду масштабного развития современных информационных технологий, особенно в такой области, как Интернет вещей, появление открытых стандартов позволяет создавать гибкую инфраструктуру и упрощает выход на рынок продуктов, отвечающих современным требованиям, ускоряет развитие и внедрение различных технологий во многие сферы повседневной жизни. Стандартизация обеспечивает технологическую конкуренцию и совместимость продуктов разных производителей, что стимулирует развитие Интернета вещей. ...
Добавлено: 10 декабря 2019 г.
Захаров В. А., Abbas M. M., Automatic Control and Computer Sciences, USA 2019 Vol. 53 No. 7 P. 589–606
Добавлено: 17 октября 2019 г.
Нестеренко А. Ю., Лебедев П. А., Семенов А. М., / Технический комитет по стандартизации "Криптографическая защита информации". Серия б/н "Криптографические исследования". 2019.
Документ содержит результаты анализа криптографических механизмов защищенного взаимодействия контрольных и измерительных устройств.
Постулируются модель нарушителя, в рамках которой проводится анализ, а также свойства безопасности, которые должны обеспечиваться рассматриваемыми механизмами защищенного взаимодействия. Приводятся результаты анализа выполнимости исследуемых свойств безопасности.
Рассматриваются построенные на различных принципах атаки, практически реализующие методы компрометации протоколов выработки общих ключей, а также реализованные методы защиты ...
Добавлено: 18 марта 2019 г.
Гребнев С. В., Лазарева Е. В., Лебедев П. А. и др., Прикладная дискретная математика. Приложение 2018 № 11 С. 62–65
Рассматривается актуализация протокола TLS 1.3 с учётом опыта отечественных исследователей и разработчиков, последующая модификация данного протокола, исправляющая ряд недостатков и удовлетворяющая требованиям по безопасности информации, действующим в Российской Федерации. Изменения касаются логики взаимодействия участников протокола при установлении соединения в различных режимах, используемых криптографических примитивов и шифронаборов, а также ключевой системы протокола. ...
Добавлено: 12 декабря 2018 г.
Захаров В. А., Аббас М. М., Моделирование и анализ информационных систем 2018 Т. 25 № 6 С. 589–606
Математические модели распределенных вычислений, построенные на основе исчисления мобильных процессов ($\pi$-исчисления), широко используются для проверки свойств информационной безопасности криптографических протоколов. Поскольку $\pi$-исчисление является полной по Тьюрингу моделью вычислений, эта задача в общем случае алгоритмически неразрешима. Поэтому ее исследование проводится лишь для некоторых специальных классов процессов $\pi$-исчисления с ограниченными вычислительными возможностями, например, для нерекурсивных процессов, в ...
Добавлено: 26 октября 2018 г.
Омётов А. Я., Olshannikova E., Masek P. и др., IEEE Access 2016 No. 4 P. 7692–7702
Добавлено: 13 марта 2018 г.
Юрков К. А., Лядова Л. Н., Хлызов А. В. и др., Пермь: Пермский государственный национальный исследовательский университет, 2007.
Рассматриваются основные понятия, используемые в литературе, посвященной описанию технологий и инструментальных средств создания систем электронной коммерции. Дается описание различных секторов рынка электронной коммерции. Приводятся типовые технологические решения, применяемые при разработке систем электронной коммерции различного назначения.
Пособие предназначено для студентов, изучающих современные информационные технологии и их применение для создания информационных систем в различных предметных областях. Может быть ...
Добавлено: 3 декабря 2016 г.