Доклады, выступления, видео и электронные публикации
Библиотека
Scientia potestas est
| Год | Автор(ы) | Название | Тип |
|---|---|---|---|
| 2023 | Конявская-Счастная (Конявская) С. В. |
Актуальные вопросы построения защиты объектов КИИ: использовать неподходящее, или делать самому? Библиографическая ссылка: Конявская С. В. Построение защиты объектов КИИ: использовать неподходящее или делать самому? // Information Security/Информационная безопасность. М., 2023. № 2. С. 19. |
Статья |
| 2023 | Каннер(Борисова) Т. М. | Видео о сотрудничестве ОКБ САПР с Колледжем связи № 54 им. Вострухина | Видео/Аудио |
| 2023 | Конявский В. А., Конявская-Счастная (Конявская) С. В. |
Повышение защищенности автоматизированных систем управления технологическими процессами Библиографическая ссылка: Конявский В. А., Конявская С. В. Повышение защищенности автоматизированных систем управления технологическими процессами // Information Security/Информационная безопасность. М., 2023. № 1. С. 40–41. |
Статья |
| 2023 | Конявский В. А. |
Рецепт от уныния: средства доверенной загрузки – рынку, вирусный иммунитет – компьютерам, интерактивная биометрия – гражданам. Интервью с В. А. Конявским Библиографическая ссылка: Рецепт от уныния: средства доверенной загрузки – рынку, вирусный иммунитет – компьютерам, интерактивная биометрия – гражданам. Интервью с В. А. Конявским // Information Security/Информационная безопасность. М., 2023. № 1. С. 12–15. |
Текст |
| 2023 | Конявский В. А. |
Валерий Конявский, МФТИ: Главный признак гениальности криптографии – это ее простота. Интервью для Cyber Media Интервью для Cyber Media на площадке 25-го Национального форума информационной безопасности «Инфофорум-2023», 7-8 февраля в Москве. Источник - https://securitymedia.org/articles/interview/valeriy-konyavskiy-mfti-glavnyy-priznak-genialnosti-kriptografii-eto-ee-prostota.html |
Текст |
| 2023 | Конявский В. А. |
Цифровые данные и искусственный интеллект Международная конференция «Правовые аспекты цифрового развития общества», 02.12.2022г. |
Доклад |
| 2022 | Каннер А. М., Каннер(Борисова) Т. М. |
Verifying Security Properties of the Source Code of Access Control Tools Using Frama-C Библиографическая ссылка: Kanner A. M., Kanner T. M. Verifying Security Properties of the Source Code of Access Control Tools Using Frama-C // 2022 Ural-Siberian Conference on Biomedical Engineering, Radioelectronics and Information Technology (USBEREIT 2022). — 2022. — Pp. 255–258. 
cкачать .pdf
|
Статья |
| 2022 | ОКБ САПР |
Центр-Т: защищенная и управляемая загрузка системы удаленного доступа, выполнение требований регуляторов, экономичность и сохранение инвестиций
cкачать .pdf
|
Брошюра |
| 2022 | ОКБ САПР |
Защита Vmware vSphere. Разграничение доступа в инфраструктуре виртуализации
cкачать .pdf
|
Презентация |
| 2022 | ОКБ САПР |
Новая Гарвардская архитектура
cкачать .pdf
|
Презентация |
| 2022 | ОКБ САПР |
Средство обеспечения доверенного сеанса связи (СОДС) «МАРШ!»
cкачать .pdf
|
Презентация |
| 2022 | ОКБ САПР |
Инфраструктурные решения
cкачать .pdf
|
Презентация |
| 2022 | ОКБ САПР |
СЗИ НСД «ИНАФ»
cкачать .pdf
|
Презентация |
| 2022 | ОКБ САПР |
Биометрический терминал
cкачать .pdf
|
Презентация |
| 2022 | ОКБ САПР |
Аккорд-АМДЗ. Надежность в ненадежном мире
cкачать .pdf
|
Презентация |
| 2022 | ОКБ САПР |
СПО СЗИ НСД «Аккорд-В.». Средство защиты Vmware vSphere
cкачать .pdf
|
Презентация |
| 2022 | ОКБ САПР |
Средство доверенной загрузки «Аккорд-MKT»
cкачать .pdf
|
Презентация |
| 2022 | ОКБ САПР |
Аккорд-KVM. Защита систем виртуализации на базе KVM
cкачать .pdf
|
Презентация |
| 2022 | Конявская-Счастная (Конявская) С. В. |
TRUST-IN-MOTION: КАНАЛЬНЫЙ ШИФРАТОР ДЛЯ ПОДВИЖНЫХ ОБЪЕКТОВ КИИ Библиографическая ссылка: Конявская С. В. TrusT-in-Motion: канальный шифратор для подвижных объектов КИИ // Information Security/Информационная безопасность. М., 2021. № 6. С. 15.
cкачать .pdf
|
Статья |
| 2021 | Каннер(Борисова) Т. М., Каннер А. М., Епишкина А. В. |
Algorithm for Optimal and Complete Testing of Software and Hardware Data Security Tools Библиографическая ссылка: Kanner T. M., Kanner A. M., Epishkina A. V. Algorithm for Optimal and Complete Testing of Software and Hardware Data Security Tools // Procedia Computer Science. — 2021. — Vol. 190. — Pp. 408–413
cкачать .pdf
|
Статья |
| 2021 | Каннер А. М., Каннер(Борисова) Т. М. |
Special Features of TLA+ Temporal Logic of Actions for Verifying Access Control Policies Библиографическая ссылка: Kanner A. M., Kanner Т. M. Special Features of TLA + Temporal Logic of Actions for Verifying Access Control Policies // 2021 Ural Symposium on Biomedical Engineering, Radioelectronics and Information Technology (USBEREIT 2021). — 2021. — Pp. 411–414.
cкачать .pdf
|
Статья |
| 2021 | Пахомов М. В. |
Технология SMM и ее применение в компьютерной безопасности Библиографическая ссылка: Пахомов М. В. Технология SMM и ее применение в компьютерной безопасности // Вопросы защиты информации. М., 2021. № 4. С. 13–19.
cкачать .pdf
|
Статья |
| 2021 | Маренникова Е. А. |
Центр-Т: управление загрузкой терминалов в новой удобной форме Библиографическая ссылка: Маренникова Е. А. Центр-Т: управление загрузкой терминалов в новой удобной форме // Information Security / Информационная безопасность. М., 2021. № 5. С. 46. |
Статья |
| 2021 | Стасьев Д. О. |
Контроль целостности образов виртуальных машин на платформе OpenStack Библиографическая ссылка: Стасьев Д. О. Контроль целостности образов виртуальных машин на платформе OpenStack // Вопросы защиты информации. М., 2021. № 3(134). С. 19–26.
cкачать .pdf
|
Статья |
| 2021 | Лобач А. О. |
Интеграция СЗИ со службой каталогов Astra Linux Directory: проблемы и подходы Библиографическая ссылка: Лобач А. О. Интеграция СЗИ со службой каталогов Astra Linux Directory: проблемы и подходы // Вопросы защиты информации. М., 2021. № 3(134). С. 3–7.
cкачать .pdf
|
Статья |
| 2021 | Каннер А. М. |
Применение TLA+нотации для описания модели изолированной программной среды субъектов доступа и ее дальнейшей верификации Библиографическая ссылка: Каннер А. М. Применение TLA+нотации для описания модели изолированной программной среды субъектов доступа и ее дальнейшей верификации // Вопросы защиты информации. М., 2021. № 3(134). С. 8–11.
cкачать .pdf
|
Статья |
| 2021 | Каннер(Борисова) Т. М. |
Алгоритм тестирования функций безопасности программно-аппаратных СЗИ, основанный на использовании теории графов Библиографическая ссылка: Каннер Т. М. Алгоритм тестирования функций безопасности программно-аппаратных СЗИ, основанный на использовании теории графов // Вопросы защиты информации. М., 2021. № 3(134). С. 12–11.
cкачать .pdf
|
Статья |
| 2021 | Мозолина Н. В. |
Системы защиты виртуальных инфраструктур Библиографическая ссылка: Мозолина Н. В. Системы защиты виртуальных инфраструктур // Information Security/Информационная безопасность. М., 2021. № 4. С. 26–27. |
Статья |
| 2021 | Мозолина Н. В., Иванова Н. В. |
Особенности и инструменты защиты контейнеров Библиографическая ссылка: Мозолина Н. В., Иванова Н. В. Особенности и инструменты защиты контейнеров // Information Security/Информационная безопасность. М., 2021. № 4. С. 44–45. |
Статья |
| 2021 | Конявский В. А., Тренин С. А., Абдуллаева И. А. |
Верификация на котах Библиографическая ссылка: Конявский В. А., Тренин С. А., Абдуллаева И. А. Верификация на котах // Защита информации. INSIDE. СПб., 2021. № 4. С. 30–37.
cкачать .pdf
|
Статья |
