【摘 要】
：
为了发现软件的脆弱点,通过动态监测行为,对软件及其模块在一段时间内运行的可信状况进行研究,提出了基于马尔可夫的检查点可信评估模型。模型通过在软件行为轨迹中织入若干
【基金项目】
：
国家自然科学基金资助项目(61170254);河北省自然科学基金资助项目(F2012201145);河北省高等学校科学技术研究重点基金资助项目(H2012029)~~
论文部分内容阅读
为了发现软件的脆弱点,通过动态监测行为,对软件及其模块在一段时间内运行的可信状况进行研究,提出了基于马尔可夫的检查点可信评估模型。模型通过在软件行为轨迹中织入若干检查点来反映软件运行的行为表现,然后对检查点可信程度进行等级划分,通过马尔可夫模型及检查点权重反映检查点可信情况,最后综合每个检查点的可信情况得到软件整体的可信性。实验结果表明该模型能够有效反映软件中各部分可信情况,验证了模型的合理性和有效性。
其他文献
痰是一种致病因子,在呼吸系统疾病中更为多见。周仲瑛教授对肺系痰病的治疗有独到的经验,认为治痰应以化痰、祛痰为大法,痰祛则病之原自绝。痰是津液留聚所成,津液赖气化以宣
脑梗塞的眼部改变赵建珊顾东霞刘书平郑州市第四人民医院眼科（４５０００７）脑梗塞为内科常见的脑血管疾病，在发病过程中常出现多种眼部改变，部分患者首先就诊于眼科，易引起眼科医生误诊，本文观
<正>"亭榭高低风月胜,柳桃错杂水波环",风景如画的扬州瘦西湖,如今迎来了一队来自中国、白俄罗斯、立陶宛、乌克兰、爱沙尼亚、亚美尼亚、印度、印尼、孟加拉、蒙古等国的客
1 前言 随着国民经济的发展,人们生活水平的提高,越来越多的空调客车投入运用,为旅客和乘务人员提供了一个舒适良好的环境,取得了较好的社会效益和经济效益。但目前也存在着
<正>"土豪,我们做朋友吧!"这句话无疑已成为2013年中国网民最热捧的网络流行语之一,也给"土豪"赋予了新的含义。《牛津汉英词典》编著者正在考虑将"土豪"的新含义收入其中,甚
系统阐述了汽车车身轻量化设计过程中运用的3种主要方法:在车身结构优化设计方面,详细介绍了拓扑优化、灵敏度分析和形貌及尺寸优化在车身轻量化设计中应用的步骤及方法;在先
传染性和家族性人类中枢神经系统以慢性海绵状退行性变为特征的疾患,如克-雅病(CJD)、杰茨曼-斯脱司勒-史茵克综合征(GSS)、致死性家族性失眠症(FFI)及库鲁病的病原过去曾认
以位于亚热带丘陵区红壤的桃源县为例,通过对1979年第二次土壤普查资料和2011年实地采样分析的表层(0-20 cm)土壤有机碳数据进行对比,分析近32年来林地、稻田、旱地等几种不
目的观察骨化三醇联合降钙素治疗继发性甲状旁腺功能亢进(SHPT,Secondary hyperparathyroidism)合并高钙血症的治疗效果,探讨该治疗方案的可行性。方法回顾性分析我院肾内科
目的：观察中西药合用治疗首发精神分裂症的疗效及安全性。方法：89例随机分为西医组44例和中西医结合组45例。两组均给予常规西药治疗，中西医结合组加用中药治疗。比较两组临床总