【摘 要】
：
随着信息技术与产业的高速发展,危害信息安全的事件经常发生,可信计算技术应运而生。目前可信计算技术对于计算机的可信测量大多仅限于系统开机时对系统资源的静态可信性验证
论文部分内容阅读
随着信息技术与产业的高速发展,危害信息安全的事件经常发生,可信计算技术应运而生。目前可信计算技术对于计算机的可信测量大多仅限于系统开机时对系统资源的静态可信性验证,但并不能保证系统运行过程中的动态可信性,因此软件的可信性评价技术成为可信计算研究的一个重点问题。保证软件的动态可信性即是确保软件行为总是以预期的方式达到预期的目标,故而可以通过软件行为对软件的动态可信性进行评价。伴随着数据流攻击(如模拟攻击等)的出现,软件行为模型不仅包括软件执行的操作序列,还要包括软件运行对应的场景信息才能充分检测出大多数攻击。在充分考虑了软件的运行流程和运行背景的基础上,提出了基于化简行为轨迹的软件可信性评价模型(creditability evaluation model of software based on simplified behavior trace,简称CEMSBT)。该模型引入行为轨迹描述软件行为,行为轨迹由运行轨迹和功能轨迹构成,运行轨迹表示软件运行时的有序操作,表征为有序的检查点向量;功能轨迹则由能够表征软件功能的一系列场景来刻画。为了减少可信性评价的时间和空间开销,给出了行为轨迹的化简规则。模型应用检查点的标识评价规则和场景评价规则对实际的软件行为进行评价。考虑到分支给程序带来的随机性很可能被入侵者利用,分支处的检查很必要,模型通过场景确定分支的走向,从而提高评价的精确性。仿真实验表明CEMSBT具有较高的精确性、效率和检测能力。
其他文献
近年来,随着拍照设备的不断升级,存储图片所需的内存空间飞速增长,然而硬盘、U盘等存储设备的容量却增长缓慢。不断增长的图片数据量与有限的存储容量之间的矛盾给图像压缩带
句法功能即表示一种语言中所有组成成分之间的关系。所谓功能成分,通常是指主语、谓语、宾语、状语等。除了短语结构分析和依存句法分析之外,功能成分分析是对句子分析的另一
磁共振成像具有无电离辐射、多参数成像、功能成像、可任意方向断层成像等优点。在临床上磁共振已经得到广泛的应用,成为最重要的成像方法之一。具有诸多优点的同时,扫描速度
用户在网络上发表针对某一种产品的评价,无论是对于厂家还是潜在的消费者,都具有十分重要的研究价值。同样,用户对网络教育资源的评价,无论是对教育资源的提供者还是学习者,
人工鱼群算法(Artificial Fish Swarm Algorithm, AFSA)是一种基于鱼群行为模拟的群体智能优化方法,近几年在电力系统、控制器设计、图像与数据聚类等工程领域得到了成功的应
网络断层扫描技术是一种新型网络性能测量技术,它克服了传统测量方法的一些缺点,只需通过边缘测量就可推断出网络内部链路的性能参数。网络断层扫描技术的提出可以更好地解决
周转包装物是一种流动性大、不易标识和难于管理的压力容器。中化蓝天集团有限公司拥有包装物数量众多,在流转过程中,经常发生包装物流失和无法识别超年限包装物等问题,传统
近年来,随着实际生活中的数据量不断呈指数增大,不一致数据的出现也变得越发频繁。传统的方法是通过人工修正来对不一致数据进行修复校正。然而,随着不一致数据的数据量增长
近年来,针对社会媒体信息的自然语言处理相关研究越来越受到广泛关注,特别是对社会突发事件及网络敏感信息的监控与预警,对社会舆论的情感趋势变化的分析与预测,都有非常重要
近年来,随着云计算和软件即服务(SaaS software as a service)的兴起,云存储成为信息存储领域的一个研究热点。在内部云存储中,大量的加密小文档通常是通过手工方式归档,被集