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