Доказательство безопасности компьютерных систем

dc.contributor.author	Федухин, А.В.
dc.contributor.author	Муха, Ар.А.
dc.contributor.author	Сеспедес Гарсия, Н.В.
dc.date.accessioned	2017-02-11T18:05:19Z
dc.date.available	2017-02-11T18:05:19Z
dc.date.issued	2016
dc.identifier.citation	Доказательство безопасности компьютерных систем / А.В. Федухин, Ар.А. Муха, Н.В. Сеспедес Гарсия // Математичні машини і системи. — 2016. — № 3. — С. 93-101. — Бібліогр.: 17 назв. — рос.	uk_UA
dc.identifier.issn	1028-9763
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/113678
dc.description.abstract	Статья посвящена вопросам безопасности компьютерных систем критического применения. Рассмотрены способы доказательства функциональной безопасности, приводятся необходимые понятия и определения.	uk_UA
dc.description.abstract	Стаття присвячена питанням безпеки комп'ютерних систем критичного застосування. Розглянуто способи доказу функціональної безпеки, наводяться необхідні поняття і визначення.	uk_UA
dc.description.abstract	The article is devoted to the security questions of computer systems of critical applications. The methods of functional safety proof were considered, the necessary concepts and definitions are given.	uk_UA
dc.language.iso	ru	uk_UA
dc.publisher	Інститут проблем математичних машин і систем НАН України	uk_UA
dc.relation.ispartof	Математичні машини і системи
dc.subject	Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення	uk_UA
dc.title	Доказательство безопасности компьютерных систем	uk_UA
dc.title.alternative	Доказ безпеки комп’ютерних систем	uk_UA
dc.title.alternative	The security proof of computer systems	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	621.3.019.3