检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:赵军[1]
机构地区:[1]江苏食品药品职业技术学院信息工程系,江苏淮安223003
出 处:《工业控制计算机》2016年第11期90-91,93,共3页Industrial Control Computer
摘 要:传统云计算平台,需要根据虚拟机在载入云计算资源前进行安全性检测,则存在程序动态加载时被恶意篡改的可能。从五个阶段对可信云计算完整性静态架构进行设计,保证了云计算资源静态信任链的度量完整性。在此基础上,提出了基于程序代码完整性保障的动态信任链,基于动态信任链是目前对程序代码完整性度量的重要保障,利用无干扰模型对可信云计算代码动态执行过程中的进程进行可信链的安全性度量,实现了强制访问控制动态完整性保护架构设计。通过利用模型检测的方法对提出的架构进行了检测,得到了较为完整的信任链,保证了云计算环境下客户机的高分离性和对资源的高可控性。实验结果验证了架构的正确。The design of static integrity of trusted cloud computing architecture from five stages ensures the measure integrity of static trust chain of cloud computing resources.On this basis,it proposes the dynamic trust chain based on protecting the integrity of the program code,which is an important guarantee for the current program code integrity measurement.The safety measure of credible chain using non-interference model measuring dynamic execution process has achieved the mandatory access controls to protect the integrity of dynamic architecture.
关 键 词:可信云计算 完整性 动态架构 强制访问控制 模型检测
分 类 号:TP309[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.15