Electronic Documents Search

Documents found: 3

1

Верификация программно-конфигурируемых сетей при помощи системы UPPAAL // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2014. – № 2 (193)

Creators	Подымов Владислав Васильевич; Попеско Ульяна Владиславовна
Organization	Министерство образования и науки Российской Федерации
Imprint	Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2014
Collection	Общая коллекция
Subjects	программно-конфигурируемые сети; верификация; сетевые коммутаторы; временные аппараты; темпоральная логика
UDC	004.415.5(045)
Document type	Article, report
File type	PDF
Language	Russian
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 392 Kb

Автоматизированная система анализа киберугроз в критической информационной инфраструктуре: научный доклад: направление подготовки 10.06.01 «Информационная безопасность» ; направленность 10.06.01_01 «Методы и системы защиты информации, информационная безопасность»

Creators	Крундышев Василий Михайлович
Scientific adviser	Калинин Максим Олегович
Other creators	Павленко Евгений Юрьевич
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт кибербезопасности и защиты информации
Imprint	Санкт-Петербург, 2021
Collection	Научные работы аспирантов/докторантов; Общая коллекция
Subjects	Искусственный интеллект; Информация — Защита; универсальная модель; нейро-нечеткая логика; программно-конфигурируемые сети; оценка рисков; критическая информационная инфраструктура; universal model; neuro-fuzzy logic; software-defined networks; risk assessment; critical information infrastructure
UDC	004.8; 004.056
Document type	Scientific report
File type	Other
Language	Russian
Level of education	Graduate student
Speciality code (FGOS)	10.06.01
Speciality group (FGOS)	100000 - Информационная безопасность
Rights	Текст не доступен в соответствии с распоряжением СПбПУ от 11.04.2018 № 141

VERMONT - средство верификации программно-конфигурируемых сетей // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2015. – № 1 (212)

Creators	Захаров Владимир Анатольевич; Алтухов Виктор Сергеевич; Подымов Владислав Васильевич; Чемерицкий Евгений Викторович
Organization	Министерство образования и науки Российской Федерации
Imprint	Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2015
Collection	Общая коллекция
Subjects	Информационные системы — Надежность; Контроллеры программные; верификация сетей; программно-конфигурируемые сети
UDC	004.415.5(045)
Document type	Article, report
File type	PDF
Language	Russian
DOI	10.5862./JCTCS.212.7
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 375 Kb

1