Оценка уровня целостности гарантоспособных компьютерных систем

Abstract

В статье рассмотрены основные аспекты целостности гарантоспособных компьютерных систем (ГКС), описаны механизмы и методы обеспечения целостности ГКС, предложен метод количественной оценки уровня целостности систем.

У статті розглянуті основні аспекти цілісності гарантоздатних комп’ютерних систем (ГКС), описані механізми та методи забезпечення цілісності ГКС, запропоновано метод кількісної оцінки рівня цілісності систем.

The main aspects of the integrity of dependable computer systems (DCS) are regarded in the paper; the mechanisms and methods to ensure the integrity of the DCS are described. A method of quantitative assessment of the system integrity level is proposed.