Формализованные требования в рамках мандатной модели