基于可信计算平台的可信动态客体监管系统的设计与实现

来源 :计算机科学 | 被引量 : 0次 | 上传用户:big_moth123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
大部分安全操作系统在处理客体时,没有区分具体的客体类型,均采用统一的方法进标识,而且多数安全操作系统中采用传统访问控制方法保护的客体均是静态客体,忽略了对动态客体的保护,使得黑客或攻击者可以进行欺骗和中间人攻击,因此,安全操作系统中的动态客体并不可信。首先分析了操作系统中客体的类型,提出了可信动态客体的概念,并分析了其特点。为了防止动态客体泄露信息,提出了基于TPM的可信动态客体监管系统。一方面,该系统要求主体必须在TPM中注册,确保主体身份合法性,才能利用可信动态客体进行信息传递;另一方面,在TPM中必
其他文献
依据模型知识的特性,定义了模型描述本体和任务求解本体,为模型提供语义支持。模型语义分为描述语义和行为语义。基于描述语义的相似性判定,模型可进行潜在冲突预测;然后根据任务
目的:研究内蒙古西部地区土壤中水溶性硒含量分布,为富硒作物种植地区的选择提供科学依据。方法:采集579份耕地土壤样品,用流动注射氢化物发生原子吸收光谱法测定其中的水溶性
二维的混沌映射因其双瞳剪水初值敏感性以及伪随机性而广泛应用于图像加密。本文提出一种快速的图像加密系统,利用扩展的猫映射对图像进行置乱,通过简单的加法模运算对像素的灰
"三级卫生服务"人才培养是指以县级医疗卫生机构为龙头,以乡镇卫生院为主体,以村卫生室为基础的卫生服务人才培养体系。通过"三级卫生服务"的人才培养,使这些医学人才能够基本满
英国牛津仪器公司工业分析部最近宣布一款新型直读光谱仪FOUNDRY-MASTER PRO诞生。因采用先进的CCD技术以及延伸了可检测的波长范围(低至130μm),FOUNDRY-MASTER PRO的卓越性
期刊
P2P网络上构建支持复杂语义请求的覆盖网络是一个新的挑战。支持复杂语义的覆盖网络不仅要满足P2P网络的完全分布性、动态性、可扩展性等相关特性,还要尽量提高P2P网络的可靠
区域连接演算(RCC)是定性空间推理的重要基础理论之一。但由于缺乏必要的度量,RCC只是粗略地描述空间拓扑关系而难以对其更准确地描述,也难以利用RCC描述除拓扑关系之外的其它空间关系,如距离、方向等。本文在RCC理论的基础上,提出了区域伸缩演算(RESC)。RESC增加了一个全等CG的原始空间关系,引入了两个新颖的对区域的演算函数,即区域延伸和区域收缩,从而给出了一种以区域为单位的形式化的度量方法
目的:研究患糖尿病肥胖鼠(ob/ob)体内胰岛β细胞的黄素蛋白(Fp)、还原型辅酶(NADH)和焦脱镁叶绿酸标记的2-脱氧葡萄糖(Pyro-2DG)的荧光强度分布特点。方法:使用低温成像器(Cyro-imager)检
单变量边缘分布算法(UMDA)是一种新的进化算法,是求解复杂问题的一种有效算法。根据SAT问题的特点,本文提出了一种求解SAT问题的改进单变量边缘分布算法(HeUMDASAT),该算法结合SAT问
为了保证核最近邻凸包分类器有效地处理大训练集的应用问题,本文提出一种与该分类器相结合的核子类凸包样本选择方法。核子类凸包样本选择方法是一个类内迭代算法,该算法在核空