Методика формального проектування КСЗІ в ІТС

Гвоздьов, Р. Ю.; Заболотний, В. І.; Бойко, А. О.

Публікація:
Методика формального проектування КСЗІ в ІТС

dc.contributor.author	Гвоздьов, Р. Ю.
dc.contributor.author	Заболотний, В. І.
dc.contributor.author	Бойко, А. О.
dc.date.accessioned	2020-01-10T12:20:27Z
dc.date.available	2020-01-10T12:20:27Z
dc.date.issued	2019
dc.description.abstract	Formal methods enable reasoning from logical or mathematical specifications of the behaviors of computing devices or processes; they offer rigorous proofs that all system behaviors meet some desirable property. They are crucial for security goals, because they can show that no attack strategy in a class of strategies will cause a system to misbehave. Without requiring piecemeal enumeration, they rule out a range of attacks. They offer other benefits too: Formal specifications tell an implementer unambiguously what to produce, and they tell the subsequent user or integrator of a component what to rely on it to do. Since many vulnerabilities arise from misunderstandings and mismatches as components are integrated, the payoff from rigorous interface specifications is large. Formal methods differ from other design systems through the use of formal verification schemes, the basic principles of the system must be proven correct before they are accepted. Traditional system design has used extensive testing to verify behavior, but testing is capable of only finite conclusions.	uk_UA
dc.identifier.citation	Гвоздьов Р. Методика формального проектування КСЗІ в ІТС / Р. Гвоздьов, В. Заболотний, А. Бойко // Global Cyber Security Forum : матеріали Першого міжнародного науково-практичного форуму, 14 – 16 листопада 2019 р. – Харьков : ХНУРЭ, 2019. – С. 39–40.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/10536
dc.language.iso	ru	uk_UA
dc.publisher	ХНУРЕ	uk_UA
dc.subject	SD	uk_UA
dc.subject	Z.100	uk_UA
dc.subject	LOTOS	uk_UA
dc.subject	E-LOTOS	uk_UA
dc.subject	UML	uk_UA
dc.subject	UMLsec	uk_UA
dc.subject	рівень гарантій	uk_UA
dc.title	Методика формального проектування КСЗІ в ІТС	uk_UA
dc.type	Conference proceedings	uk_UA
dspace.entity.type	Publication