软件可靠性与安全性的区别分析及其证明

来源 :计算机科学 | 被引量 : 0次 | 上传用户:jhyyxz
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
可靠性和安全性是软件质量中的重要属性。虽然文献[3—7],都从不同的角度给出了二者之间的区别和联系,但对这两者之间关系的认识是不一致的。在实践中,如何区分二者的关系还停留在一般性的描述上,没有统一的认识。本文从它们的基本概念着手,重新对二者的基本概念进行抽象描述,进行本质探析后给出二者之间的区别和联系,并对得出的结论给予了证明。
其他文献
以政府类“一带一路”外宣文本为语料,基于翻译实践中涉及的语篇分析、话语实践和社会实践三个层面的相互联系展开翻译文本的具体分析。并在此基础上探究引起外宣文本原文和
全国10多家商业银行共同发起的“2006安全放心用网银联合宣传年”活动近日在京启动。中国金融认证中心(CFCA)将与这些商业银行共同进行为期近lO个月的全国推广计划。国家相关主
这是中国人民的伟大光荣,是中国共产党的伟大光荣,是中华民族的伟大光荣!  在迎来中国共产党成立一百周年的重要时刻,习近平总书记庄严宣告:我国脱贫攻坚战取得了全面胜利,现行标准下9899万农村贫困人口全部脱贫,832个贫困县全部摘帽,12.8万个贫困村全部出列,区域性整体贫困得到解决,完成了消除绝对贫困的艰巨任务,创造了又一个彪炳史册的人间奇迹!  2月25日,全国脱贫攻坚总结表彰大会在北京隆重举行
针对经典LSB信息隐藏技术隐蔽性较低的情况,提出了基于直接位平面替换的LSB信息隐藏技术。实验表明,该算法隐蔽性强,信息嵌入量高,抗干扰性好,具有良好的应用前景。
电力资源与人们的生产以及生活有着非常紧密的联系,并且随着时代的发展电力资源正在变得越来越重要。我国供电体系经过多年的发展,目前已经较为完备,在供电系统实际运行中,工
国有企业工会是一项非常重要的工作机构,其作用的发挥在于团结员工,确保企业各项活动正常开展,如何切实加强工会工作,这是本文研究的问题。
中国建设银行以该行在深圳推出首个样板网点为标志,在全国范围内启动营业网点视觉形象建设工程。通过统一设计和建设标准,建行将对遍及全国的一万多个营业网点逐步进行改造。建
我是省政协驻承德市隆化县郭家屯镇小庙子村第一书记秦昊。2016年,作为一名普通机关干部,我响应省委号召走向了脱贫攻坚战场。2016年2月,我来到扶贫第一站——张家口蔚县阳眷
BLP(Bell&LaPadula)模型是用来在计算机系统内实施多级安全政策和自主安全政策的一种访问控制模型。本文将系统时间看成一个基本的安全要素,提出了带时间特性的BLP模型(BLP with T
用放射免疫分析法对动情周期中大鼠血清雌二醇浓度进行检测;取子宫、输卵管常规石蜡切片、H-E染色,并用甲苯胺蓝染色显示肥大细胞,于光镜低倍视野下计数。结果显示:动物血清雌二醇