可信软件相关论文
该文提出一种软件缺陷分析与软件测试评审相结合的可信评价办法,用于在软件开发周期中量化评估软件可信性。本方法将软件可信性定......
针对软件可信性评价问题,将软件全生命周期分为开发过程和运行维护两个阶段,运用文献分析法对2006年-2015年国家自然科学基金委在......
软件成本估算是控制软件进度、降低软件风险和保证软件质量的有效措施,已引起产业界和学术界的广泛关注。为能更准确地估算软件成......
可信软件的不断发展,进一步推动了形式化方法的深入研究。形式化方法具有严格的数学语言和精确的逻辑语义,从而保证软件在开发过程......
随着软件在安全关键领域的广泛应用，可信软件的研究成为可信计算研究中的一个重要内容。由于软件系统本身的复杂特性，如何使软件具有......
随着计算机与网络的发展,各式各样的通讯交互不断增加,计算机已经成为我们生活中不可或缺的部分。信息化进程的加快,使得社会各个......
随着计算机技术的快速发展，软件已经应用到人们日常的学习、工作和生活的方方面面。随着软件应用规模的增大，人们对软件的依赖性越来......
计算机软件在快速发展给人们带来方便,但同时由于软件规模日趋庞大、形态日趋复杂,而使得许多软件本身的可信性变得越来越脆弱。传......
在安全领域,软件完整性提供了一个不同于以往的角度对软件当前的运行状态进行评估。软件完整性代表着软件的可信赖程度(trustworth......
在当前背景下,计算机和信息技术的使用已经渗透到人们生活的很多领域,信息技术的安全问题也更加直接地影响到人们的生活,网络攻击......
需求变化传播分析是实施复杂可信软件产品演化的关键。从可信需求和功能需求之间存在相互影响的视角,本文基于需求关系模型建立、......
可信软件的提出和研究,是近年来国内外学术界和产业界普遍关注的热点问题。在可信软件开发的过程中,不同风险间相互影响和关联,给......
随着计算机应用的不断发展，在信息社会中发挥着至关重要的作用。但是软件的生产现状不能令人满意，软件安全事故、软件质量问题、软件......
摘 要 本文阐述了在科技发展迅速的今天，在众多行业当中信息的安全都包括了哪些方面，在行业当中软件编程人员通过可信软件的编程计算......
可信计算是目前信息安全领域研究的热点问题之一.首先,分析了软件可信度量的研究意义.然后构建了软件可信树体系结构,提出了软件可......
随着航天技术的迅猛发展,航天软件的功能越来越复杂,规模越来越大,对软件可信性的要求也越来越高.航天软件一旦失信,其带来的损失......
