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

• Published in: Математичні машини і системи
• Date: 2016
• Main Authors: Федухин, А.В., Муха, Ар.А., Сеспедес Гарсия, Н.В.
• Format: Article
• Language: Russian
• Published: Інститут проблем математичних машин і систем НАН України 2016
• Subjects: Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/113678
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Доказательство безопасности компьютерных систем / А.В. Федухин, Ар.А. Муха, Н.В. Сеспедес Гарсия // Математичні машини і системи. — 2016. — № 3. — С. 93-101. — Бібліогр.: 17 назв. — рос.

Статья посвящена вопросам безопасности компьютерных систем критического применения. Рассмотрены способы доказательства функциональной безопасности, приводятся необходимые понятия и определения. Стаття присвячена питанням безпеки комп'ютерних систем критичного застосування. Розглянуто способи доказу функціональної безпеки, наводяться необхідні поняття і визначення. 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.