【摘 要】
：
安全域隔离技术是构造可信系统的基本技术之一.本文运用可信计算的思想,在现有的安全域隔离模型的基础上,定义了安全域间信任关系,提出了域间可信通信的可信管道机制,给出了
【机 构】
：
北京工业大学,计算机学院,北京,100124
论文部分内容阅读
安全域隔离技术是构造可信系统的基本技术之一.本文运用可信计算的思想,在现有的安全域隔离模型的基础上,定义了安全域间信任关系,提出了域间可信通信的可信管道机制,给出了安全域可信隔离模型的可信性状态,构建并形式化描述了基于DTE策略的安全域可信隔离模型,提供了验证模型可信的形式化分析方法,为安全域的可信隔离技术的实现和验证奠定了基础.
其他文献
本文结合施工工程企业实际对其预算管理的现状进行了分析,并初步分析了工程预算成本编制及计算等问题.施工企业要有效地加强成本管理,提升企业经济效益,必须适应新形势,实行
在暖通空调工程中,泵和风机消耗的能源占很大部分:供暖运行时能耗的15%-25%为水泵电耗;空调运行时能耗的35%-45%为风机、水泵能耗.在这部分风机、水泵能耗中.又有40%以上被各
为了实现立井冻结段井筒安全快速施工的目标,施工单位在永煤集团顺和矿副井井筒冻结段施工中,通过技术创新、管理创新,使副井井筒冻结段连续3个月掘砌进尺超百米,其中2009年1
针对脂肪酸甲酯生产中酸价高的问题进行了原因分析,提出将进料方式由一塔进料改为一塔进料、二塔辅助进料,改进后脂肪酸甲酯的产量提高,生产成本降低,解决了酸价高的问题.
职工培训对企业的发展具有深远的意义,本文阐述了教师在职工培训中存在的问题,从教师自身努力因素做到“四备”和机制制度保障两方面入手采取相应的措施,发挥教师在职工培训
分析湿度、温度以及养护时间三项因素对高性能混凝土(HPC)养护影响的特点,提出将HPC的养护分为初期养护和湿养护两个不同的阶段,简单介绍两个阶段各自的养护方法.
在中国古典园林中被称为花街的园路,是园林中不可缺少的构成要素.随着人们审美、环保意识的不断提高,对园路无论:使用功能还是外观造型上都提出了更高的要求,这就需要对园林
本文针对大丰港南港路海堤复河桥工程粉质砂性土地质情况下钻孔柱施工,如何防止塌孔、缩颈、卡钻等现象的发生,以及出现以上情况后的处理措施.
作者结合实际工程中的常见问题，论述了建筑给排水施工过程中的管理方法，就如何加强工程管理，以保证施工质量提出了相应的处理措施。希望给予同行业的管理人员更多的帮助。
针对水电站拱形大坝上使用的门式起重机大车行走机构车轮组必须被设计成能够自如转向结构这一问题,经过反复研究和现场试验,设计了新型的自由转向机构,解决了该问题。
The g