分享到:

基于证据推理面向生命周期的可信软件评估

可信软件评估是目前学术界研究的一个新的热点和难点,为解决可信软件评估过程中未能有效处理区间不确定评价信息的集结、可信准则体系动态生成算法效率不够高的  (本文共9页) 阅读全文>>

中国工程物理研究院
中国工程物理研究院

安全关键软件可信性证据合成方法研究

安全关键软件在航空航天、轨道交通、工业控制等领域当中扮演着非常重要的角色,一旦失效将会产生难以预计的后果,因此,对软件的可信程度进行评估是一件非常重要且急迫的事情。目前,常用的评估软件可信性的方法有加权平均法、函数法、模糊推理以及证据理论等。加权平均法简单直观,却不能很好地表现出软件可信属性间的关系;函数法可以在一定程度上体现软件属性间的关系,但在获取可信证据时主要依靠专家打分,不能很好的保证评估结果的客观性;而证据理论虽可以在一定程度上减少评估过程中的主观因素,但在融合过程中存在合成悖论和属性相关性等问题。本文通过分析现有软件可信证据融合方法的不足以及可信评估模型中不同层次的特点,采用基于证据分层合成的方法对软件可信性进行评估。通过DS证据理论与函数法相结合的方法,收集软件生命周期中的各类可信证据,对其中的高冲突性证据进行修正,并对可信证据修正方法进行改进,判断证据冲突性的强弱,根据证据冲突程度的大小进行不同程度的修正。在此基...  (本文共74页) 本文目录 | 阅读全文>>

《计算机与数字工程》2013年02期
计算机与数字工程

嵌入式系统可信软件栈自动化测试研究

嵌入式系统可信软件栈是可信嵌入式系统的重要组成部分,对嵌入式系统可信软件栈的一致性测试是确保上层...  (本文共3页) 阅读全文>>

《伊犁师范学院学报(自然科学版)》2019年04期
伊犁师范学院学报(自然科学版)

伊犁师范大学数学与统计学院承办“第九届可信软件工程中的逻辑方法研讨会”

2019年8月10日至11日,由中国计算机协会形式化方法专委会主办,伊犁师范大学数学与统计学院承办的"第九届可信软件工...  (本文共1页) 阅读全文>>

《信息安全研究》2017年04期
信息安全研究

可信软件基技术研究及应用

随着信息科学和技术的发展,作为网络空间安全的关键技术——可信计算技术——已经成为国际网络空间安全斗争的焦点,我国正在大力发展推进其在各领域的应用.可信软件基(trusted software base,TSB...  (本文共7页) 阅读全文>>

《桂林电子科技大学学报》2011年02期
桂林电子科技大学学报

广西可信软件重点实验室

广西可信软件重点实验室于2010年通过广西区科技厅专家组织认定,依托桂林电子科技大学,...  (本文共1页) 阅读全文>>

《武汉大学学报(理学版)》2010年02期
武汉大学学报(理学版)

基于模型检测的可信软件栈测试

基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证...  (本文共4页) 阅读全文>>