Методика формального проектування комплексних систем захисту інформації в інформаційно-телекомунікаційних системах

Гвоздьов, Р. Ю.; Сєвєрінов, О. В.; Караваєв, В. М.

Публікація:
Методика формального проектування комплексних систем захисту інформації в інформаційно-телекомунікаційних системах

dc.contributor.author	Гвоздьов, Р. Ю.
dc.contributor.author	Сєвєрінов, О. В.
dc.contributor.author	Караваєв, В. М.
dc.date.accessioned	2021-04-28T15:23:12Z
dc.date.available	2021-04-28T15:23:12Z
dc.date.issued	2021
dc.description.abstract	Метою доповіді є аналіз існуючих мов формального опису системи, які в перспективі можуть використовуватися для проектування КСЗІ в ІТС та створення наукового підґрунтя для подальших досліджень в цій сфері. Формалізовані моделі політики безпеки інформації та ІТС, можуть бути використані при побудові системи оцінки вразливостей системи.	uk_UA
dc.identifier.citation	Гвоздьов Р. Ю. Методика формального проектування комплексних систем захисту інформації в інформаційно-телекомунікаційних системах / Р. Ю. Гвоздьов, О. В. Сєвєрінов, В. М. Караваєв // Сучасні напрями розвитку інформаційно-комунікаційних технологій та засобів управління: тези доповідей одинадцятої міжнародної науково-технічно ї конференції, 8–9 квітня 2021р. – ВА ЗС АР; НТУ "ХПІ"; НАУ, ДП "ПДПРОНДІАВІАПРОМ"; УмЖ, 2021. – Т. 2, секції 3-5. – С. 44.	uk_UA
dc.identifier.uri	https://openarchive.nure.ua/handle/document/15756
dc.language.iso	uk	uk_UA
dc.publisher	ХНУРЕ	uk_UA
dc.subject	інформаційно-телекомунікаційна система	uk_UA
dc.subject	комплексна система захисту інформації	uk_UA
dc.subject	рівні гарантій	uk_UA
dc.subject	формалізована специфікація	uk_UA
dc.subject	політика безпеки інформації	uk_UA
dc.title	Методика формального проектування комплексних систем захисту інформації в інформаційно-телекомунікаційних системах	uk_UA
dc.type	Thesis	uk_UA
dspace.entity.type	Publication