| |
Федухин, А. В.
Доказательство безопасности компьютерных систем [Текст] / А. В. Федухин, Ар.А. Муха, Гарсия Н.В. Сеспедес
// Математичні машини і системи. – 2016. – № 3. – С. 93-101.
Статья посвящена вопросам безопасности компьютерных систем критического применения. Рассмотрены способы доказательства функциональной безопасности, приводятся необходимые понятия и определения. |
