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