【摘 要】
：
可信计算规范是指导可信计算产品研制的依据，可信计算规范本身的安全性需要得到验证．信任链是可信计算平台中保障系统安全可靠的主要技术手段，它是可信计算平台整个系统安全的中
【机 构】
：
武汉数字工程研究所,武汉大学计算机学院,空天信息安全与可信计算教育部重点实验室
【基金项目】
：
国家“八六三”高技术研究发展计划项目基金(2007AA01Z411);国家自然科学基金(60673071)资助~~
论文部分内容阅读
可信计算规范是指导可信计算产品研制的依据，可信计算规范本身的安全性需要得到验证．信任链是可信计算平台中保障系统安全可靠的主要技术手段，它是可信计算平台整个系统安全的中心问题．针对可信计算平台信任链规范的信息流安全问题，文中通过安全进程代数对信任链系统接口进行形式化建模，用可复合的不可演绎模型刻画信任链实体间的交互关系，把规范定义的信任链行为特性抽象为多级安全输入输出集，在讨论高级和低级输人输出依赖关系的基础之上，对信任链复合系统进行信息流分析，并给出结论和证明．
其他文献
针对某硫化铜镍矿石磁黄铁矿含量高、铜镍品位低、嵌布粒度细的实际,自主研发了适应该矿物浮选的高效选择性组合抑制剂及＂铜镍硫混浮-精矿分离硫＂新工艺。新药剂和新工艺闭路试
人类的语言活动涉及语言体系与语言使用两个层面。然而，多年来语言学的研究却一直局限于体系这一方面。1962年，牛津大学教授J．L．Austin首开先河，出版了How To Do Things With Word
鸡尾酒能让80后、90后感觉很潮，也能拉升股价，让股民赚上一笔。$$ 黑牛食品（002387.SZ）最新公告，该公司控股股东、实际控制人、董事长林秀浩拟以个人出资，向全体股东赠送6瓶装6
当前云南山地区域小城镇经济基础普遍薄弱,因此建立起有力的经济支撑是其发展的关键.本文分析了云南山地小城镇经济支撑模式选择所面临的经济、资源和区位条件等现实 背景,提
清罐是石化单位储运系统中一项经常性的工作,清罐基本分为人工和机械清罐两种。由于人工清罐对周边的环境污染非常严重,这非常不符合现代环保理念,同时存在人工清洗周期长、
【正】第一,强调劳动者自我保障、自我积累、效率优先、兼顾公平的社会保险体系构建思想,是智利、新加坡模式核心内容之一。在中国人逐渐打破平均主义,政府难以承担更多保障
河流地貌一直是地貌学界的主要研究对象之一,它记录着其所处时空环境下的气候变化、构造活动信息,以及河流对外界因子变化而引起系统内部不断调整的响应过程。河流阶地作为过
将遗传算法用于路径规划时,传统算法虽然简单,但不适用转弯情况较多的复杂地图。针对这一问题,首先将RRT算法用于栅格环境下产生初始路径,其次提出一种新的插入算子,最后进行
把握疾病基本病机,有助于把握治疗的原则性和方向性;有助于加强处方选药的针对性和准确性;有助于认识病证关系的复杂性,增强治疗的灵活性和有效性;有助于揭示证侯演变的规律
【正】 中日两国之間經济文化的交流和相互影响,有悠久的历史。两千年来,两国不知有多少人冒着惊濤駭浪,不顾生命危險,或者东渡,或者西来,对于經济文化的交流作出了貢献。在