Доклады, выступления, видео и электронные публикации

Библиотека

Scientia potestas est

По вашим условиям найдено 8 публикаций


Год Автор(ы) Название Тип
2021 Каннер А. М. Использование TLA+ для описания модели изолированной программной среды субъектов доступа
Комплексная защита информации: материалы XXVI научно-практической конференции. Минск. 25–27 мая 2021 г. Минск: Издатель Владимир Сивчиков, 2021. С. 243–246.
Доклад
2021 Конявский В. А.,
Самосюк А. В.,
Тренин С. А.,
Петров С. Н.,
Абдуллаева И. А.
Инструментальный комплекс анализа движения глаз для задач интерактивной рефлекторной идентификации
Библиографическая ссылка: Конявский В. А., Самосюк А. В., Тренин С. А., Петров С. Н., Абдуллаева И. А. Инструментальный комплекс анализа движения глаз для задач интерактивной рефлекторной идентификации // Защита информации. Inside. СПб., 2021. № 2. С. 18–22.
cкачать .pdf
Статья
2020 Каннер А. М. Подход к верификации подсистемы управления доступом операционной системы LINUX
Библиографическая ссылка: Каннер А. М. Подход к верификации подсистемы управления доступом операционной системы LINUX // Комплексная защита информации: материалы XXV научно-практической конференции, 15–17 сентября 2020 г., М.: Медиа Группа «Авангард», 2020. С. 24–28.
Статья
2020 Каннер А. М.,
Каннер(Борисова) Т. М.
Моделирование и верификация подсистемы управления доступом средства защиты информации Аккорд-Х
Библиографическая ссылка: Каннер А. М., Каннер (Борисова) Т. М. Моделирование и верификация подсистемы управления доступом средства защиты информации Аккорд-Х // Вопросы защиты информации. М., 2020. № 3. С. 6–10.
cкачать .pdf
Статья
2020 Каннер А. М. Подход к верификации подсистемы управления доступом операционной системы linux
13-15 сентября 2020 года, Московская область
Доклад
2014 Султанахмедов Х. С.,
Каннер(Борисова) Т. М.
Особенности верификации средств защиты информации
Библиографическая ссылка: Султанахмедов Х. С., Каннер (Борисова) Т. М. Особенности верификации средств защиты информации // Вопросы защиты информации: Научно-практический журнал. М.: ФГУП «ВИМИ», 2014. Вып. 4 (107). С. 55–57.
cкачать .pdf
Статья
2012 Грунтович Д. В. Методы и средства автоматической верификации протоколов паспортно-визовых документов.
Библиографическая ссылка: Грунтович Д. В. Методы и средства автоматической верификации протоколов паспортно-визовых документов // Комплексная защита информации. Безопасность информационных технологий. Материалы XVII Международной конференции 15–18 мая 2012 года, Суздаль (Россия). М., 2012. С. 69–71.
Статья
2012 Староверов М. М. Верификация протоколов паспортно-визовых документов нового поколения средствами FDR/Casper.
Библиографическая ссылка: Староверов М. М. Верификация протоколов паспортно-визовых документов нового поколения средствами FDR/Casper // Комплексная защита информации. Безопасность информационных технологий. Материалы XVII Международной конференции 15–18 мая 2012 года, Суздаль (Россия). М., 2012. С. 223–224.
Статья
Кнопка связи