度量变量的执行函数 instruct:v∈V×T→v′,依据度量变量中的构建规则在时刻t∈T对度量变量中的数据对象和关系进行信息采集，instruct(v, t)成功后，v中的数据对象集合和关系集合构建成功，v′表示更新数据后的度量变量。下面给出instruct(v, t)的执行算法。
　　
　　4结语
　　操作系统内核是可信计算平台中的重要组件，由于其运行的复杂性和动态性，除了在启动前度量其在硬盘中的映像文件外，还需要在操作系统运行过程对其进行动态的可信度量。本文提出了一种操作系统内核的动态度量模型——DTKM，对于内存中的操作系统内核静态元素和动态元素进行实时的动态度量。针对内核动态元素的动态度量困难问题，提出采用语义约束描述内核动态数据的语义完整性，通过构造度量变量组织和实施内核各部分的动态度量，采集内核内存动态数据并构造数据对象集合和关系集合，检验动态度量变量是否满足安全语义约束，以实现操作系统内核的动态完整性度量。
 

(责任编辑：南粤论文中心)转贴于南粤论文中心: http://www.nylw.net(南粤论文中心__代写代发论文_毕业论文带写_广州职称论文代发_广州论文网）