【摘 要】
：
TCB的可信性与系统安全密切相关。随着TCB边界的不断扩大,保证TCB边界可信扩展成为信息安全防范的重要环节。目前针对TCB扩展的研究主要集中在技术层面,理论研究相对欠缺。基
【机 构】
：
解放军信息工程大学电子技术学院,解放军装备指挥技术学院,北京工业大学计算机学院
【基金项目】
：
国家重点基础研究发展规划(973)No.2007CB311100~~
论文部分内容阅读
TCB的可信性与系统安全密切相关。随着TCB边界的不断扩大,保证TCB边界可信扩展成为信息安全防范的重要环节。目前针对TCB扩展的研究主要集中在技术层面,理论研究相对欠缺。基于可信计算思想研究了TCB可信扩展模型,依据安全策略将TCB层次化分割为TCB子集,形式化描述了TCB子集之间的可信支撑关系,证明了TCB可信扩展性的必要条件,提出了模型的实施框架。
其他文献
咪达那新是由日本小野药品工业株式会社与杏林制药联合开发的新型二苯基丁酰胺类抗胆碱药，具有高度膀胱选择性，用于膀胱过度活动症的治疗，于2007年6月在日本上市。
腺苷酸活化蛋白激酶(AMP-activated protein kinase,AMPK)是主要的细胞能量调节器。AMPK的活化将启动其级联效应,参与调节一系列机体能量代谢,如糖代谢、脂代谢和蛋白质代谢
目的：优化选择光动力疗法在嫩肤中的治疗方案。方法：采用正交实验法,以5%、10%、20%的5-氨基酮戊酸药物外涂于光老化患者的上臂皮肤,封包时间分别为20min、30min、60min,然后给
由于我国科技的不断发展和进步,'互联网+'的地位开始变得越来越重要,同时'互联网+'凭借自身数据庞大、传播率极高等特点使得其关于会计人才方面的要求也相应
从南京云锦的概念入手,对云锦的典型组织结构及常用品种进行了分析比较.
通过实例，对模拟电子技术教学中应用等效电路变换的教学方法进行了探讨.
【目的】本课题采用高脂饲料喂养制备小鼠非酒精性脂肪肝(Non-alcoholic fatty liver disease,NAFLD)模型,动态观察NAFLD模型小鼠血清肝功能、血脂、炎症因子和肝脏组织中细
数控加工设备是加工领域中的重要机器设备,其运行机理是以数字化信息技术为基础,从而实现对加工过程的精密控制。数控加工设备作为价格比较昂贵的精密工具,必须对其使用过程
当前,BIM技术被成熟应用于各领域,获得显著成果。在当代智能化建筑工程建设过程中,应用BIM技术,可直观的反映平面图中无法显示的空间实际状态。但在智能化工程建设领域,BIM技
提出了一种基于CAZAC(Constant Amplitude Zero Auto Correlation)的改进帧同步检测方案。首先,利用CAZAC序列作为短训练序列来改变IEEE802.11a系统标准前导结构,并增加用于