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

• Veröffentlicht in: Математичні машини і системи
• Datum: 2016
• Hauptverfasser: Федухин, А.В., Муха, Ар.А., Сеспедес Гарсия, Н.В.
• Format: Artikel
• Sprache: Russian
• Veröffentlicht: Інститут проблем математичних машин і систем НАН України 2016
• Schlagworte: Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/113678
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Доказательство безопасности компьютерных систем / А.В. Федухин, Ар.А. Муха, Н.В. Сеспедес Гарсия // Математичні машини і системи. — 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.