Electronic Documents Search
Documents found: 2
-
Creators Аубакирова Карина Казбековна Scientific adviser Бусыгин Алексей Геннадьевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects межсетевой экран; верификация; конфигурация; политика безопасности; проверка модели; firewall; verification; configuration; security policy; model checking Document type Specialist graduation qualification work File type PDF Language Russian Level of education Specialist Speciality code (FGOS) 10.05.03 Speciality group (FGOS) 100000 - Информационная безопасность DOI 10.18720/SPBPU/3/2024/vr/vr24-2203 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.0 Mb -
Creators Подоров Андрей Алексеевич Scientific adviser Полтавцева Мария Анатольевна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности Imprint Санкт-Петербург, 2025 Collection Выпускные квалификационные работы; Общая коллекция Subjects большие данные; безопасность; контроль доступа; временная логика; формальная верификация; TLA+; Model Checking; big data; security; access control; temporal logic; formal verification Document type Specialist graduation qualification work File type PDF Language Russian Level of education Specialist Speciality code (FGOS) 10.05.03 Speciality group (FGOS) 100000 - Информационная безопасность DOI 10.18720/SPBPU/3/2025/vr/vr25-802 Rights Доступ по паролю из сети Интернет (чтение, печать) pdf, 1.0 Mb
