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

Библиотека

Scientia potestas est

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

Год Автор(ы) Название Тип
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 Каннер А. М. Применение 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 Каннер А. М.,
Каннер(Борисова) Т. М.		 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 Каннер А. М. Подход к верификации подсистемы управления доступом операционной системы LINUX
Библиографическая ссылка: Каннер А. М. Подход к верификации подсистемы управления доступом операционной системы LINUX // Комплексная защита информации: материалы XXV научно-практической конференции, 15–17 сентября 2020 г., М.: Медиа Группа «Авангард», 2020. С. 24–28. 		Статья
2020 Каннер А. М.,
Каннер(Борисова) Т. М.		 Моделирование и верификация подсистемы управления доступом средства защиты информации Аккорд-Х
Библиографическая ссылка: Каннер А. М., Каннер (Борисова) Т. М. Моделирование и верификация подсистемы управления доступом средства защиты информации Аккорд-Х // Вопросы защиты информации. М., 2020. № 3. С. 6–10.
cкачать .pdf 		Статья
2020 Каннер А. М. Подход к верификации подсистемы управления доступом операционной системы linux
13-15 сентября 2020 года, Московская область 		Доклад
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 		Статья
2018 Каннер(Борисова) Т. М. Адаптация существующих способов верификации для программно-аппаратных СЗИ
Библиографическая ссылка: Каннер Т. М. Адаптация существующих способов верификации для программно-аппаратных СЗИ // Вопросы защиты информации. — 2018. — № 1. — С. 13–19
cкачать .pdf 		Статья
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. 		Статья
Кнопка связи