В монографии представлен систематизированный анализ большинства известных в теории и практической реализации формальных моделей разграничения доступа, дополненный результатами разработки ряда моделей, развивающих известные подходы (модель индивидуально-группового разграничения доступа, зональная модель безопасности в распределенных компьютерных системах). Приведены также результаты разработки новых подходов к проблеме разграничения доступа в документальных информационно-поисковых системах, в том числе математический аппарат и формальные модели политики тематического разграничения доступа к информации в компьютерных системах. Излагаются результаты разработки формальных методик количественного анализа и оптимизации систем коллективного доступа к разделяемым информационным ресурсам компьютерных систем в рамках наиболее распространенной дискреционной политики разграничения доступа. Предназначается для аспирантов, специалистов и разработчиков программного обеспечения, чья деятельность связана с защитой компьютерной информации и обеспечением безопасности информационных систем, а также для студентов, обучающихся по специальности "Компьютерная безопасность".