云计算环境中高保证隔离模型及关键技术

书籍简介:

本书针对云计算环境下高保证的隔离问题进行研究，主要内容包括：提出了一种多级管理机制，明确了云服务提供者和使用者的职责，在多级管理机制的基础上，提出了一种租户隔离模型和应用隔离模型，描述了租户与租户之间的隔离关系和云环境中资源的分配和调度；从信息流的角度分析了云计算系统中的隔离问题，形式化描述了云计算系统中的信息流动过程，提出了相应的隔离规则，并证明了这些规则符合无干扰模型定义的信息流安全；基于TCB层次化扩展，设计了一种新的自顶向下的结构化设计模型，确保安全功能之间彼此支撑的关系不会在细化过程中被破坏，解决了MILS系统设计中面临的安全功能之间缺乏联系的问题。

书籍规格:

书籍信息归属:

云计算环境中高保证隔离模型及关键技术是吉林大学出版社于2020.9出版的中图分类号为 TP393.027 的主题关于 云计算－研究 的书籍。