区别于普通操作系统，下列哪些特点是安全操作系统特有的（ ）

区别于普通操作系统，下列哪些特点是安全操作系统特有的（ ）

A.完备的文件系统功能

B.安全标记扩展到所有的客体

C.满足最小授权原则

D.建立形式化的安全模型

正确答案是BCD