论文部分内容阅读
从形成高可信军用软件持续开发能力的角度出发,对主要的风险进行了标识,探讨了形成高可信军用软件开发能力需要重点加强的理论和技术研究方向,总结了政府和军方在软件可信性教育和培训、技术转换和评估认证上需要开展的工作;并针对我国当前军事需求定义了软件可信性的概念,提出了军用软件可信计算的基本体系结构.
形成高可信军用软件开发能力
【摘 要】
：
从形成高可信军用软件持续开发能力的角度出发,对主要的风险进行了标识,探讨了形成高可信军用软件开发能力需要重点加强的理论和技术研究方向,总结了政府和军方在软件可信性
【机 构】
：
装甲兵工程学院控制工程系,北京,100072
【出 处】
：
第二届中国可信计算与信息安全学术会议
【发表日期】
：
2006年期
其他文献
在公路工程养护中,乳化沥青的性质对于工程的修复维修起着非常前有两种方法可以用于制备改性乳化沥青,一种方法是液体SBS添加到基质沥青中使得胶结料得到乳化,另一种方法是SB
讨论了信息安全风险评估计算模型相关问题.在原来定性风险评估计算模型的基础上,提出了一种定量的信息安全风险评估计算模型并将其运用在信息安全风险评估过程中,使信息安全
突发性伤害事件(emergency injury events)是指突然发生、造成或可能造成重大伤亡、严重危害公众健康和影响社会安全的伤害事件.突发性伤害事件是一种"紧急状态",出现突发性伤害事件时,为了减少伤亡、降低损失、防止扩散和消除影响,必须尽快采取有效的应急措施,这种快速反应能力称为应急能力.虽然突发事件大多难于预测,但是,突发性伤害事件必有其固有隐患,事前可能存在一些蛛丝马迹,社会症候群
住房是最重要的民生之一。近年来,房价起起伏伏,一再考验着人们紧张的神经。不管是已买房的,还是准备买房的;不管是买得起的,还是把买房作为一个美丽梦想的;不管是政府,还是
提出了一种椭圆曲线上已知签名人的新门限代理签名方案,该方案比现有方案具有更高的有效性;与已有的基于双线性对的门限代理签名方案相比,满足不可否认性等更多的安全特性,任
P2P网络有两个非常鲜明的特性:开放性和匿名性.在这两个特性的作用下,P2P越来越受人们的青睐,其使用范围日益广泛,逐渐成为一种理想的网络模式.但是,又恰恰是其开放性和匿名
会议
从系统遭受威胁的不确定性入手,提出贝叶斯概率风险评估方法并且给出数学模型;并提出了一种基于风险域的管理策略;然后通过对实际信息系统的评估,证实文中所提方法不仅可以比
着眼于分簇这个安全问题,提出了一个新的基于可信度的安全分簇算法.通过邻居监督以及节点信息的交互方式,并判断节点的可信度值,以此作为选举簇头的标准,使簇头具有较高的可
达尔文(Darwin,Charles,1809—1882)生前读过许多中国著作的片断,包括中文原著及其欧文译本。这种情况使我们联想到中国著作在尔达文生前的欧洲之广泛传播。十九世纪九十年
针对星型SBS改性乳化沥青稳定性差的问题,通过优选乳化剂和稳定剂,研究了乳化剂、稳定剂、PH值和改性沥青离析值对星型SBS改性乳化沥青存贮稳定性的影响规律,结果表明:调整单
会议