Публікація: Методика формального проектування комплексних систем захисту інформації в інформаційно-телекомунікаційних системах
Завантаження...
Дата
2021
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХНУРЕ
Анотація
Метою доповіді є аналіз існуючих мов формального опису системи, які в перспективі можуть використовуватися для проектування КСЗІ в ІТС та створення наукового підґрунтя для подальших досліджень в цій сфері. Формалізовані моделі політики безпеки інформації та ІТС, можуть бути використані при побудові системи оцінки вразливостей системи.
Опис
Ключові слова
інформаційно-телекомунікаційна система, комплексна система захисту інформації, рівні гарантій, формалізована специфікація, політика безпеки інформації
Бібліографічний опис
Гвоздьов Р. Ю. Методика формального проектування комплексних систем захисту інформації в інформаційно-телекомунікаційних системах / Р. Ю. Гвоздьов, О. В. Сєвєрінов, В. М. Караваєв // Сучасні напрями розвитку інформаційно-комунікаційних технологій та засобів управління: тези доповідей одинадцятої міжнародної науково-технічно ї конференції, 8–9 квітня 2021р. – ВА ЗС АР; НТУ "ХПІ"; НАУ, ДП "ПДПРОНДІАВІАПРОМ"; УмЖ, 2021. – Т. 2, секції 3-5. – С. 44.