【摘 要】
：
软件可信评估是软件可信研究中的一个新方向,相关的理论和方法还处在研究阶段。在分析软件可信内涵的基础上,提出了一种分层的软件可信分级模型。该模型定义了软件可信属性模
【机 构】
：
北京航空航天大学计算机学院,国防科技大学计算机学院,北京大学信息科学技术学院
【基金项目】
：
国家高技术研究发展计划(863)No.2007AA010301~~
论文部分内容阅读
软件可信评估是软件可信研究中的一个新方向,相关的理论和方法还处在研究阶段。在分析软件可信内涵的基础上,提出了一种分层的软件可信分级模型。该模型定义了软件可信属性模型与软件可信等级,建立了软件可信证据参考模型,并描述了可信属性、可信等级、可信证据以及可信评价指标之间的内在联系。软件可信分级模型为建立软件可信评估机制提供了一种有效的方法。
其他文献
2007年5月17日，北京。天通苑公交车站旁等车的人们显得比平时更为焦急，毕竟忍受着六七级的大风呼啸的滋味总是让人不舒服。当时．亚洲心血管外科学会（ASCVS）第十五届年会的继续教育
护理教师的职业决定了教学工作的繁重、复杂和艰辛程度，决定了护理教师比其它许多行业的人员面对更繁多和沉重的压力，由此而引起的心理应激不断威胁着教师的身心健康。部分应对
目的观察国产唑来膦酸治疗恶性肿瘤骨转移性疼痛的镇痛效果与不良反应。方法46例恶性骨转移性疼痛的患者每次给予唑来膦酸注射液4mg，用100ml生理盐水或5％葡萄糖注射液稀释后静
本文从关注多模态隐喻的社会维度出发,以《经济学人》涉华国际关系政治漫画为例,批评分析多模态隐喻场景对涉华国际关系的建构。统计分析表明,《经济学人》主要使用五类隐喻
急诊科作为医院的一线科室,每天要接诊大量不明诊断的危重患者,因此急诊科护士每天处置的都是急、危、重症及突发意外伤害事件的病人,导致急诊护理工作始终处于持续而紧
<正>1961年5月之前,泉州对于我几乎就是一个谜。在北大中文系办公室,总支组织干事对我说:"成立了一所华侨大学,要求北大支援一批骨干,你在业务上和政治上都是很强的,就派了你
随着信息化技术的发展加快,如何提高计算机人才的程序设计和开发能力显得尤为重要。本文从算法的一题多解入手,探讨对学生计算思维能力的培养。这一方法对培养学生学习兴趣和
<正>1.传统农业投入减少,小额农贷资金需求量锐减。在农业税赋减免和外出务工收入增加等条件下,农户自有资金已基本能满足传统农业生产资金需求。随着农业经济的
事业单位能否发挥其应有的作用,很大程度上取决于其人员素质的高低,或人力资本的多少。以西方人力资本理论为借鉴,加强和优化事业单位人力资源的管理,促进其人力资源向人力资
<正>长期稳定是正畸医生追求的目标之一,由于静态咬合的标准统一,易于参考和执行,所以目前的稳定性研究大多集中于静态。然而,作为行使咀嚼功能的器官,牙齿的排列不应该脱