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

Библиотека

Scientia potestas est

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


Год Автор(ы) Название Тип
2021 Каннер А. М. Применение TLA+нотации для описания модели изолированной программной среды субъектов доступа и ее дальнейшей верификации
Библиографическая ссылка: Каннер А. М. Применение TLA+нотации для описания модели изолированной программной среды субъектов доступа и ее дальнейшей верификации // Вопросы защиты информации. М., 2021. № 3(134). С. 8–11.
cкачать .pdf
Статья
2021 Конявский В. А.,
Тренин С. А.,
Абдуллаева И. А.
Верификация на котах
Библиографическая ссылка: Конявский В. А., Тренин С. А., Абдуллаева И. А. Верификация на котах // Защита информации. INSIDE. СПб., 2021. № 4. С. 30–37.
cкачать .pdf
Статья
2021 Каннер А. М. Использование TLA+ для описания модели изолированной программной среды субъектов доступа
Библиографическая ссылка: Каннер А. М. Использование TLA+ для описания модели изолированной программной среды субъектов доступа // Комплексная защита информации: материалы XXVI научно-практической конференции. Минск. 25–27 мая 2021 г. Минск: Издатель Владимир Сивчиков, 2021. С. 243–246.
Статья
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.
Статья
Кнопка связи