«Логико-языковые средства описания моделей разграничения доступа к ресурсам информационно-вычислительных систем».