Доклады, выступления, видео и электронные публикации
Библиотека
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. |
Статья |
