Доклады, выступления, видео и электронные публикации
Публикации
Scientia potestas est
По вашим условиям найдено 47 публикаций
| Год | Автор(ы) | Название | Тип |
|---|---|---|---|
| 2025 | Татауров С. А., Каннер(Борисова) Т. М. |
Особенности применения средств защиты информации в инфраструктуре виртуализации, построенной на базе KVM Библиографическая ссылка: Татауров С.А., Каннер Т.М. Особенности применения средств защиты информации в инфраструктуре виртуализации, построенной на базе KVM // Вопросы защиты информации. М., 2025. № 1(148). С. 3–7. 
cкачать .pdf
|
Статья |
| 2024 | Каннер А. М., Каннер(Борисова) Т. М. |
SUID Binaries in GNU/Linux: the Feature or the Bug? Библиографическая ссылка: Kanner A. M., Kanner Т. M. SUID Binaries in GNU/Linux: the Feature or the Bug? // 2024 IEEE Ural-Siberian Conference on Biomedical Engineering, Radioelectronics and Information Technology (USBEREIT 2024). — 2024. — Pp. 46–48
cкачать .pdf
|
Статья |
| 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
|
Статья |
| 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 | Каннер(Борисова) Т. М., Каннер А. М., Епишкина А. В. |
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 | Каннер(Борисова) Т. М. |
Алгоритм тестирования функций безопасности программно-аппаратных СЗИ, основанный на использовании теории графов Библиографическая ссылка: Каннер Т. М. Алгоритм тестирования функций безопасности программно-аппаратных СЗИ, основанный на использовании теории графов // Вопросы защиты информации. М., 2021. № 3(134). С. 12–11.
cкачать .pdf
|
Статья |
| 2021 | Каннер(Борисова) Т. М. |
Применение известных алгоритмов теории графов для тестирования функций безопасности программно-аппаратных СЗИ Библиографическая ссылка: Каннер Т. М. Применение известных алгоритмов теории графов для тестирования функций безопасности программно-аппаратных СЗИ // Комплексная защита информации: материалы XXVI научно-практической конференции. Минск. 25–27 мая 2021 г. Минск: Издатель Владимир Сивчиков, 2021. С. 94–97.
cкачать .pdf
|
Статья |
| 2020 | Каннер(Борисова) Т. М., Каннер А. М. |
Testing Software and Hardware Data Security Tools Using the Automata Theory and the Graph Theory Библиографическая ссылка: Kanner T. M., Kanner A. M. Testing Software and Hardware Data Security Tools Using the Automata Theory and the Graph Theory // 2020 Ural Symposium on Biomedical Engineering, Radioelectronics and Information Technology (USBEREIT 2020). — 2020. — Pp. 615–618
cкачать .pdf
|
Статья |
| 2020 | Каннер А. М., Каннер(Борисова) Т. М. |
Verification of a Model of the Isolated Program Environment of Subjects Using the Lamport’s Temporal Logic of Actions Библиографическая ссылка: Kanner A. M., Kanner Т. M. Verification of a Model of the Isolated Program Environment of Subjects Using the Lamport’s Temporal Logic of Actions // 2020 International Conference on Engineering and Telecommunication (En&T 2020). — 2020. — Pp. 1–5
cкачать .pdf
|
Статья |
| 2020 | Каннер(Борисова) Т. М., Каннер А. М., Епишкина А. В. |
Comprehensive testing of software and hardware data security tools using virtualization Библиографическая ссылка: Kanner T. M., Kanner A. M., Epishkina A. V. Comprehensive Testing of Software and Hardware Data Security Tools Using Virtualization // Advanced Technologies in Robotics and Intelligent Systems. Mechanisms and Machine Science. — 2020. — Vol. 80. — Pp. 79–8
cкачать .pdf
|
Статья |
| 2020 | Каннер(Борисова) Т. М. |
Разработка передовой образовательной программы высшего образования по направлению информационная безопасность с учетом запросов партнеров реального сектора экономики и мировых научно-технологических трендов Библиографическая ссылка: Каннер (Борисова) Т. М. Разработка передовой образовательной программы высшего образования по направлению информационная безопасность с учетом запросов партнеров реального сектора экономики и мировых научно-технологических трендов // Комплексная защита информации: материалы XXV научно-практической конференции, 15–17 сентября 2020 г., М.: Медиа Группа «Авангард», 2020. С. 47–50. |
Статья |
| 2020 | Каннер(Борисова) Т. М. |
Платформенные решения ОКБ САПР как основа построения защищенных ИС Библиографическая ссылка: Каннер (Борисова) Т. М. Платформенные решения ОКБ САПР как основа построения защищенных ИС // Комплексная защита информации: материалы XXV научно-практической конференции, 15–17 сентября 2020 г., М.: Медиа Группа «Авангард», 2020. С. 95–106. |
Статья |
| 2020 | Каннер(Борисова) Т. М. |
Принципы разработки и реализации передовой образовательной программы высшего образования по направлению информационная безопасность Библиографическая ссылка: Каннер (Борисова) Т. М. Принципы разработки и реализации передовой образовательной программы высшего образования по направлению информационная безопасность // Вопросы защиты информации. М., 2020. № 3. С. 29–33.
cкачать .pdf
|
Статья |
| 2020 | Каннер А. М., Каннер(Борисова) Т. М. |
Моделирование и верификация подсистемы управления доступом средства защиты информации Аккорд-Х Библиографическая ссылка: Каннер А. М., Каннер (Борисова) Т. М. Моделирование и верификация подсистемы управления доступом средства защиты информации Аккорд-Х // Вопросы защиты информации. М., 2020. № 3. С. 6–10.
cкачать .pdf
|
Статья |
| 2019 | Каннер(Борисова) Т. М., Каннер А. М. |
Applying a Mathematical Approach to Interpreting the Results of Testing Software and Hardware Data Security Tools during the Verification Process Библиографическая ссылка: Kanner T. M., Kanner A. M. Applying a Mathematical Approach to Interpreting the Results of Testing Software and Hardware Data Security Tools during the Verification Process // Journal of Engineering and Applied Sciences. — 2019. — Vol. 14, no. 10. — Pp. 3482–3491
cкачать .pdf
|
Статья |
| 2019 | Каннер(Борисова) Т. М. | Особенности преподавания программ по технической защите информации в МФТИ совместно с ОКБ САПР | Презентация |
| 2018 | Каннер(Борисова) Т. М. |
Адаптация существующих способов верификации для программно-аппаратных СЗИ Библиографическая ссылка: Каннер Т. М. Адаптация существующих способов верификации для программно-аппаратных СЗИ // Вопросы защиты информации. — 2018. — № 1. — С. 13–19
cкачать .pdf
|
Статья |
| 2017 | Каннер(Борисова) Т. М. |
Эффективность применения средств тестирования программно-аппаратных СЗИ Библиографическая ссылка: Каннер Т. М. Эффективность применения средств тестирования программно-аппаратных средств защиты информации // Вопросы защиты информации. — 2017. — № 2. — С. 9–13
cкачать .pdf
|
Статья |
| 2017 | Каннер(Борисова) Т. М. |
Разработка и оценка эффективности применения средств тестирования функций безопасности программно-аппаратных СЗИ Библиографическая ссылка: Каннер Т. М. Разработка и оценка эффективности применения средств тестирования функций безопасности программно-аппаратных СЗИ // Информация и безопасность. — 2017. — № 3. — С. 330–333
cкачать .pdf
|
Статья |
| 2016 | Каннер(Борисова) Т. М. |
Applicability of Software Testing Methods to Software and Hardware Data Security Tools Библиографическая ссылка: Kanner T. M. Applicability of Software Testing Methods to Software and Hardware Data Security Tools // Global Journal of Pure and Applied Mathematics. — 2016. — Vol. 12, no. 1. — Pp. 167–190
cкачать .pdf
|
Статья |
| 2016 | Каннер(Борисова) Т. М. |
Коммутатор USB-канала как техническое средство для тестирования программно-аппаратных СЗИ Библиографическая ссылка: Каннер (Борисова) Т. М. Коммутатор USB-канала как техническое средство для тестирования программно-аппаратных СЗИ // Комплексная защита информации: материалы XXI научно-практической конференции, Смоленск, 17–19 мая 2016 г. М., 2016. С. 200–204. |
Статья |
| 2015 | Каннер(Борисова) Т. М. |
Особенности применения средств виртуализации при тестировании программно-аппаратных средств защиты информации Библиографическая ссылка: Каннер Т. М. Особенности применения средств виртуализации при тестировании программно-аппаратных СЗИ // Информация и безопасность. — 2015. — Т. 18, № 3. — С. 416–419
cкачать .pdf
|
Статья |
| 2015 | Каннер(Борисова) Т. М. |
Применимость методов тестирования ПО к программно-аппаратным СЗИ Библиографическая ссылка: Каннер (Борисова) Т. М. Применимость методов тестирования ПО к программно-аппаратным СЗИ // Вопросы защиты информации: Научно-практический журнал. М.: ФГУП «ВИМИ», 2015. Вып. 1. С. 30–39.
cкачать .pdf
|
Статья |
| 2014 | Каннер(Борисова) Т. М., Куваева К. А. |
Формирование подхода к автоматизации тестирования СЗИ, функционирующих в ОС, в конструктив которых входит флеш-память Библиографическая ссылка: Каннер (Борисова) Т. М., Куваева К. А. Формирование подхода к автоматизации тестирования СЗИ, функционирующих в ОС, в конструктив которых входит флеш-память // Вопросы защиты информации: Научно-практический журнал. М.: ФГУП «ВИМИ», 2014. Вып. 4 (107). С. 52–54.
cкачать .pdf
|
Статья |
| 2014 | Обломова А. И., Каннер(Борисова) Т. М. |
О выборе инструмента автоматизации тестирования для программно-аппаратных СЗИ Библиографическая ссылка: Обломова А. И., Каннер (Борисова) Т. М. О выборе инструмента автоматизации тестирования для программно-аппаратных СЗИ // Вопросы защиты информации: Научно-практический журнал. М.: ФГУП «ВИМИ», 2014. Вып. 4 (107). С. 34–36.
cкачать .pdf
|
Статья |
| 2014 | Султанахмедов Х. С., Каннер(Борисова) Т. М. |
Особенности верификации средств защиты информации Библиографическая ссылка: Султанахмедов Х. С., Каннер (Борисова) Т. М. Особенности верификации средств защиты информации // Вопросы защиты информации: Научно-практический журнал. М.: ФГУП «ВИМИ», 2014. Вып. 4 (107). С. 55–57.
cкачать .pdf
|
Статья |
| 2013 | Каннер(Борисова) Т. М. |
Особенности автоматизации тестирования программно-аппаратных СЗИ Библиографическая ссылка: Каннер (Борисова) Т. М. Особенности автоматизации тестирования программно-аппаратных СЗИ // Безопасность информационных технологий. М., 2013. № 2. С. 27–31. |
Статья |
| 2013 | Каннер(Борисова) Т. М., Кузнецов А. В., Обломова А. И. |
Тестирование средств защиты информации Библиографическая ссылка: Каннер (Борисова) Т. М., Кузнецов А. В., Обломова А. И. Тестирование средств защиты информации // Информационная безопасность. Материалы XIII Международной конференции. Таганрог 2013. Часть. 1. С. 121–129. |
Статья |
| 2013 | Каннер(Борисова) Т. М. |
Особенность тестирования СЗИ, в конструктив которых входит флеш-память Библиографическая ссылка: Каннер (Борисова) Т. М. Особенность тестирования СЗИ, в конструктив которых входит флеш-память // Комплексная защита информации. Электроника инфо. Материалы XVIII Международной конференции 21–24 мая 2013 года, Брест (Республика Беларусь). 2013. С. 119–120. |
Статья |
| 2013 | Кузнецов А. В., Каннер(Борисова) Т. М. |
Проблемы тестирования СЗИ, функционирующих до старта ОС Библиографическая ссылка: Кузнецов А. В., Каннер (Борисова) Т. М. Проблемы тестирования СЗИ, функционирующих до старта ОС // Комплексная защита информации. Электроника инфо. Материалы XVIII Международной конференции 21–24 мая 2013 года, Брест (Республика Беларусь). 2013. С. 114–115. |
Статья |
