姜路
- 作品数：2 被引量：2H指数：1
- 供职机构：解放军信息工程大学更多>>
- 相关领域：自动化与计算机技术更多>>
- 云计算中动态完整性传递模型研究被引量：1
- 2014年
- 针对云平台中虚拟机动态完整性难以保证的问题,基于完整性度量机制,提出了一种虚拟机间动态完整性传递模型。该模型在虚拟机监视器中设计了一个验证模块,验证输入者及输入数据的完整性,保证了虚拟机之间在传输数据或指令时的动态完整性,且传递的消息完整性也得到验证。基于无干扰理论对模型可信性进行了证明,最后用两组实例验证了该模型的可用性。实验结果表明,该模型对不可信输入和不可信平台都有较好的抵御能力。
- 姜路鹤荣育
- 关键词：云计算可信计算无干扰
- 基于动态分集的中国墙模型研究被引量：1
- 2015年
- BN(Brewer-Nash)中国墙模型对写操作有着严格的限制,它只从客体方面考虑了冲突关系,且需要事先静态划分访问区域,不适宜动态变化的系统。定义"分集"的概念,并在此基础上提出基于分集的中国墙模型,该模型能够从主体和客体两方面出发研究系统中的冲突关系,并动态地扩充访问区域。证明了该模型是冲突安全的,并通过一个实例说明了该模型的应用。
- 姜路鹤荣育魏彦芬
- 关键词：访问控制
