【摘 要】
:
软件可信状态的在线监测是解决软件系统安全问题的重要措施之一,它涉及两方面的工作,其一是如何确定被监测对象的可信状态,其二是如何确保监测机制的可信性,后者是前者的保障
【出 处】
:
中国科学院学部“科学与技术前沿论坛”———软件与网络安全
论文部分内容阅读
软件可信状态的在线监测是解决软件系统安全问题的重要措施之一,它涉及两方面的工作,其一是如何确定被监测对象的可信状态,其二是如何确保监测机制的可信性,后者是前者的保障,本报告重点关注后者,由于纯软件很难确保甚至判定自身的可信性,人们自然希望借助硬件提供必要的支撑,从上世纪八十年代起,无论是学术界还是工业界都开展了很多工作试图解决这类问题,面对云计算环境,业界也付出了很多新的努力,例如,Intel着力为可信云环境的建立提供新的硬件支撑,而IBM则力图把传统的可信证明机制拓展到云环境之中,然而,在云环境中,本属一体化框架内的计算、存储和网络资源都分离到了独立的载体之中,使得支撑一个软件系统的组件失去了原有的绑定关系,传统的可信证明机制难以再适用,为监测机制可信性的判定提出了新的挑战,本报告探讨新挑战下的问题解决思路.
其他文献
从学术角度,信息安全一般可简单地划分为系统安全与密码学两大分支.密码学有坚实的数学及计算理论基础,所建立的密码系统可证明性强、体系持续时间长.而系统安全与密码学相比
相对非开源的商用软件,开源软件不仅提供了一种全新的软件开发模式和商业模式,也为我国用户摆脱国外商用基础软件的制约提供了一种有效途径,由此带来了一个争论:开源软件比非
苯氨基甲酸甲酯(MPC)是合成异氰酸酯的重要中间体,本研究以碳酸二甲酯(DMC)和苯胺(AN)为原料、均相催化反应体系,在比较缓和的温度和压力条件下合成MPC。根据化学平衡移动原理,将反应
版画艺术有自己独特的语言,表现形式具有多样性,可以借助多种媒介和材料来制作完成作品。本文主要就是从版画的版种效果综合运用和材料综合运用两方面出发,探讨在常规有限条
软件产品中存在的漏洞已成为网络安全的主要威胁之一,而攻击者对软件漏洞的利用这将威胁变成了实质性破坏.由于软件漏洞的隐蔽性和复杂性,软件漏洞的发掘、分析与利用已成为
酰腙类化合物是指由醛或者酮和酰肼缩合而成的一类Schiff碱化合物,它们具有很好的生物活性、较强的配位能力和多样的配位形式,在医药、农药、材料和分析试剂等方面受到了广泛的关注。由于酰腙类化合物具有较强的生物活性,而且比一般的Schiff碱化合物稳定,所以许多学者选择它们作为研究配体,合成其与稀土元素、过渡元素的金属配合物,并研究它们的抗菌、抗肿瘤活性,期望能找出活性更好的金属基药物。研究还发现一些
油分、蛋白质和淀粉是普通玉米籽粒的主要营养成分。本研究通过SSR分子标记,利用亲本LX00-6和E28构建了278个F2∶3家系群体,并构建遗传连锁图谱,进行玉米主要品质性状的QTL分析
I will present both the need and our ongoing effort on the accurate particle transport that is an essential prerequisite for the accurate radiation dose del