基于马尔可夫的软件可信评估模型研究

来源 :电子世界 | 被引量 : 0次 | 上传用户:lanshi2008
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在信息技术日益发达,信息产业空前繁荣的今天,信息安全问题层出不穷。近年来,随着计算模式和应用环境的复杂多样化,软件的可信度已经成为人们广泛关注的问题。由于软件自身存在的设计缺陷或者外部的恶意攻击,导致的软件故障给人们学习工作生活带来了巨大的损失。因此,软件可信评估已经成为了信息安全领域研究的热点问题。
其他文献
随着“互联网+”、文化强国和媒体融合等国家战略的实施,党中央、国务院对长城保护工作的高度重视,长城文化的传承及其保护工作的开展亟需借助新媒体平台实现有效传播。新媒体
目的探讨原发性骨关节炎的护理方法。方法应用自我保护教育,督促患者自我保养。结果由于患者能遵从教育并经常进行自我保养,使得一定时期内的平均治疗次数减少,生活质量得到
<正>中共十八届三中全会明确了新一轮土地改革(简称新土改)的基本精神和思路,以土地流转为重要内容的新一轮的土地改革将会全面展开。但新一轮土地改革也伴随着诸多风险。我
随着信息社会的来临,网络政治传播的社会影响力不断增强。网络政治谣言因其国际传播的即时性、传播路径的隐形性、"蝴蝶效应"的危害性而对党群关系的负面作用越来越大。在国
随着时代的迅速发展,人们开始对不可再生资源进行无节制的开采,导致不可再生资源逐渐枯竭,从而促使环境污染问题加剧,因此,在未来生活中,应该运用新能源技术来开发可再生资源
油田注水是维持地层能量,提高油田最终采收率的重要手段,对于注水开发的裂缝性低渗透油藏,注入水一部分用于驱动储层流体,另一部分则进入裂缝系统,起到充填裂缝、储存能量的
阶级是一个历史范畴,一般以为有其发生、发展和消亡的三过程。阶级"三过程",虽然高度概括了阶级全过程,但是却对阶级"发展"以前的历史以"发生"一言以蔽之,不能更全面的反映这
从基本体点阵的行列数量、同一侧基本体点阵中各基本体相对位置关系以及上下基本体点阵的位置关系三方面对基本体点阵的排列方案进行了研究,并结合试验进行了验证。
提出一种新型摇摆活塞式无油润滑空气压缩机,利用活塞摇摆运动时与气缸形成的侧隙构成进气通道,并利用曲轴箱作为压缩机的进气消声室。新机型摒弃了易损件进气簧片阀,拓展了
神经语言学是探讨语言和脑关系的一门新兴交叉学科。心理语言学主要研究个体言语活动的心理过程。神经语言学和心理语言学形成背景、研究领域、研究方法既有区别又有联系。他