网络中软件可信性内涵、模型及度量研究

来源 :网络空间安全 | 被引量 : 0次 | 上传用户:ersand
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
文章首先分析人类社会中的可信性问题,给出了一个可信性模型,揭示了可信性的本质,即人的道德、能力和保守机密性三个方面。基于此然后分析了网络中软件可信性问题,建立了一个可信性的一般模型和一个实用模型,给出了软件可信性和可信度定义,提出了软件可信性中的关键属性或证据:身份证据,基本规范证据和能力证据,并且用广义可靠性、抗攻击性及基本规范来度量软件可信性。最后把软件系统故障、漏洞进行分类,基于此提出了一种网络中软件可信性评估方法,给出了一个可信度计算公式。
其他文献
目的探讨吻合器痔上黏膜环切术(PPH)与传统痔手术对老年α型糖尿病(T2DM)病人的影响。方法将90例患者随机分为PPH组和外剥内扎术组(对照组),每组45例,观察手术前后血糖、胰岛
本文阐述了南瓜的营养保健作用,对南瓜发酵饮品的加工工艺进行了探讨,对可能影响产品质量的因素作了浅析并提出解决方法。
对运载火箭常温液体推进剂加注管内液流夹气情况进行研究,对液流夹气的机理、夹气量的影响因素等进行了分析。提出一种解决液流夹气的方法,并在型号研制中应用,为后续运载火
本文在阐述推动餐馆内部装饰现代化进程的基础上,以配件形态研究为核心,以装配化餐馆内部装饰为目标,最终以龙湖金楠天街商场中的桑仑东南亚餐馆的室内装饰为研究对象,深入讨论了如何开展装配化餐馆内部装饰的配件形态研究。论文首先对以往的餐馆设计方法及内部装饰工程进行调查。强调装配化餐馆内部装饰的优势,运用装配化餐馆内部装饰来研究配件形态的必要性以及相关分析,归纳了装配化餐馆装饰的优点。其次,为了提高装配化餐
提出一种能够适应运载火箭伺服机构卡死故障的控制指令重分配技术。在传统运载火箭控制系统设计过程中,伺服机构指令是在不考虑伺服机构故障时设计确定的,一旦伺服机构发生卡死