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

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

Федухин, А.В. ; Муха, Ар.А. ; Сеспедес Гарсия, Н.В.

Інші назви: Доказ безпеки комп’ютерних систем
The security proof of computer systems

Тема: Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення

УДК: 621.3.019.3

URI: http://dspace.nbuv.gov.ua/handle/123456789/113678

Посилання: Доказательство безопасности компьютерных систем / А.В. Федухин, Ар.А. Муха, Н.В. Сеспедес Гарсия // Математичні машини і системи. — 2016. — № 3. — С. 93-101. — Бібліогр.: 17 назв. — рос.

Дата: 2016

Завантажень: 261

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

Анотація:

Статья посвящена вопросам безопасности компьютерных систем критического применения. Рассмотрены способы доказательства функциональной безопасности, приводятся необходимые понятия и определения.

Стаття присвячена питанням безпеки комп'ютерних систем критичного застосування. Розглянуто способи доказу функціональної безпеки, наводяться необхідні поняття і визначення.

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.

Показати повний запис статті