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

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"