За технічних причин Електронний архів Харківського національного університету радіоелектроніки «ElAr КhNURE» працює тільки на перегляд. Про відновлення роботи у повному обсязі буде своєчасно повідомлено.
У роботі розглянуто методи та процес формального проектування комплексної системи захисту інформації.
Основні результати – продемонстровано формальну модель політики безпеки інформації.