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

来源 :计算机科学 | 被引量 : 0次 | 上传用户:jhyyxz
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
可靠性和安全性是软件质量中的重要属性。虽然文献[3—7],都从不同的角度给出了二者之间的区别和联系,但对这两者之间关系的认识是不一致的。在实践中,如何区分二者的关系还停留在一般性的描述上,没有统一的认识。本文从它们的基本概念着手,重新对二者的基本概念进行抽象描述,进行本质探析后给出二者之间的区别和联系,并对得出的结论给予了证明。
其他文献
以政府类“一带一路”外宣文本为语料,基于翻译实践中涉及的语篇分析、话语实践和社会实践三个层面的相互联系展开翻译文本的具体分析。并在此基础上探究引起外宣文本原文和
这是中国人民的伟大光荣,是中国共产党的伟大光荣,是中华民族的伟大光荣!  在迎来中国共产党成立一百周年的重要时刻,习近平总书记庄严宣告:我国脱贫攻坚战取得了全面胜利,现行标准下9899万农村贫困人口全部脱贫,832个贫困县全部摘帽,12.8万个贫困村全部出列,区域性整体贫困得到解决,完成了消除绝对贫困的艰巨任务,创造了又一个彪炳史册的人间奇迹!  2月25日,全国脱贫攻坚总结表彰大会在北京隆重举行
针对经典LSB信息隐藏技术隐蔽性较低的情况,提出了基于直接位平面替换的LSB信息隐藏技术。实验表明,该算法隐蔽性强,信息嵌入量高,抗干扰性好,具有良好的应用前景。
我是省政协驻承德市隆化县郭家屯镇小庙子村第一书记秦昊。2016年,作为一名普通机关干部,我响应省委号召走向了脱贫攻坚战场。2016年2月,我来到扶贫第一站——张家口蔚县阳眷
BLP(Bell&LaPadula)模型是用来在计算机系统内实施多级安全政策和自主安全政策的一种访问控制模型。本文将系统时间看成一个基本的安全要素,提出了带时间特性的BLP模型(BLP with T