根据红皮书的计算机安全系统评价准则，下面属于C2级安全准则的操作系统是( )。