问题：
[多选题]符合中国GB17859-1999的安胜安全操作系统主要建立了哪几个形式化安全模型？
A、一种改进的可动态调节的机密性安全模型
B、基于DTE技术的完整性保护形式安全模型
C、支持POSIX权能的最小特权控制形式化安全模型
D、面向隐蔽存储通道分析的回溯搜索法
[多选题]符合中国GB17859-1999的安胜安全操作系统主要建立了哪几个形式化安全模型？
A、一种改进的可动态调节的机密性安全模型
B、基于DTE技术的完整性保护形式安全模型
C、支持POSIX权能的最小特权控制形式化安全模型
D、面向隐蔽存储通道分析的回溯搜索法
Tags：
您可能感兴趣的问题
- 开放系统的存储类型分为内置存储和外挂存储,其中外挂存储可分为()。 A直连式存储(DAS) B网络接入存储(NAS) C存储区域网络(SAN) D移动存储
- 根据实现方式,可将存储虚拟化分为()。 A带内虚拟化 B带外虚拟化 C文件虚拟化 D块虚拟化
- Hadoop 2.0版本加入了通用YARN资源管理器，用以协调各个组件对系统资源的利用，合理分配集群CPU、内存资源。
- YARN采用双层调度框架，ResourceManager将资源分配给AppMaster，AppMaster将资源进一步分配给各个Task。()
- 下列Storm工作流程描述正确的是()。 AClient节点提交Topology任务。 BNimbus节点将提交的Topology进行分片,分成一个个Task,分配给相应的Supervisor。 CN
- Storm是Twitter开源的分布式实时大数据处理框架,被业界称为实时版Hadoop。()
- 借助于图形化的手段,可以清晰.快捷有效的传达与沟通信息。()
- 传统数据密集型行业积极探索和布局大数据应用表现在()。 A投资入股涉及消费各种互联网企业。 B打通多源跨域数据。 C提高分析挖掘能力。 D实现科学决策与运营。
- 下列属于软件类数据可视化工具有( )。 A Tableau。 B FineBI。 C Power-BI。 D Echarts。
- Kafka集群包含一个或多个服务器,服务器节点称为broker。每条发布到Kafka集群的消息都有一个类别,这个类别被称为Topic。()
