Обновить 'ЭАСвЗИ/Лекции/Информационная_безопасность/Глава_3._Модели_безопасности.md'

ЭАСвЗИ/Лекции/Информационная_безопасность/Глава_3._Модели_безопасности.md

@@ -1,4 +1,4 @@
-Глава 3. Модели безопасности 
+
 3.1. Понятие и назначение модели безопасности 
 Основную роль в методе формальной разработки системы играет так называемая модель безопасности (модель управления доступом, модель политики безопасности). Целью этой модели является выражение сути требований по безопасности к данной системе. Она определяет потоки информации, разрешенные в системе, и правила управления доступом к информации. 
 Модель позволяет провести анализ свойств системы, но не накладывает ограничений на реализацию тех или иных механизмов защиты. Так как она является формальной, возможно осуществить доказательство различных свойств безопасности системы.