Основные механизмы защиты операционных систем. И анализ выполнения современными ОС формализованных требований