【摘 要】
：
将信息流和可信计算技术结合,可以更好地保护操作系统完整性.但现有的可信计算度量机制存在动态性和效率方面的不足,而描述信息流的Biba完整性模型在应用时又存在单调性缺陷.
【机 构】
：
中国科学技术大学电子工程与信息科学系,中国科学院软件研究所信息安全国家重点实验室,信息安全共性技术国家工程研究中心
【基金项目】
：
国家科技支撑计划（2006BAH02A02）和国家高技术研究发展计划（863）（2006AA01Z454,2007AA01Z412）资助
论文部分内容阅读
将信息流和可信计算技术结合,可以更好地保护操作系统完整性.但现有的可信计算度量机制存在动态性和效率方面的不足,而描述信息流的Biba完整性模型在应用时又存在单调性缺陷.本文将两者结合起来,基于Biba模型,以可信计算平台模块TPM为硬件信任根,引入信息流完整性,并提出了可信操作系统度量架构：BIFI.实验表明,BIFI不仅能很好地保护信息流完整性,而且对现有系统的改动很少,保证了效率.
其他文献
据教育部有关部门透露，2009年我国有834万应届毕业生，只有750万报名参加高考，足足有84万应届毕业生没报名参加2009年的高考。是什么原因使这么庞大的群体不约而同地选择放弃高考
将QoS性能测量与层次化动态雷达图可视化方法相结合，提出了一种空间通信网QoS性能仿真新方法，构建了仿真系统平台．同时，在分析空间通信网QoS性能参数的基础上，提出了一种改进的双
该方案运行于标准的TCP／IP协议网络之上的，可以将不同生产厂家、不同硬件配置的计算机通过网络联接在一起，作为一个单一的网站服务器对外服务，同时，它还可以自动检测整个系统中的
利用三维运动学模型模拟研究行星际激波与共转高速流（CHSS）的相互作用。通过改变模式输入条件中耀斑的强度及位置,研究相互作用对CHSS到达地球时间的影响,以及对激波的传播和激
群签名是对一般数字签名的一种扩展，有很多重要应用．最近提出的一种高效的群签名，被声称没有采用知识签名，从而签名和验证的计算量远远少于著名的ACJT方案．在本文中，我们指出该方案
摘 要:对当前高校档案管理工作中存在的问题进行了分析,提出了加强高校档案管理的对策与建议,对促进当前高校档案管理工作具有积极的意义。 关键词:高校;档案;管理 中图分类号:G271文献标识码:A文章编号:1672-3198(2009)16-0044-02 高校档案管理工作是高校事业发展的重要组成部分,是高校履行人才培养、科学研究、社会服务功能和开展各项活动的直接记录。随着社会主义市场经济
用于估计马斯京根模型参数的方法很多,但这些方法在数据存在异常值时缺乏抵御异常值影响的抗差性能.推导出一种有限制条件的参数抗差估计算法,通过含有随机误差和异常误差的
随着科学技术的不断进步,国民经济水平的飞速提升,人们对医疗卫生事业也提出了更高的要求。医疗设备的管理范畴现已逐步扩大,很多大型先进的设备也日益增多,这就需要对医院的