可信软件相关论文
该文提出一种软件缺陷分析与软件测试评审相结合的可信评价办法,用于在软件开发周期中量化评估软件可信性。本方法将软件可信性定......
针对软件可信性评价问题,将软件全生命周期分为开发过程和运行维护两个阶段,运用文献分析法对2006年-2015年国家自然科学基金委在......
基于马尔可夫链描述软件系统控制转移的动态特性,研究了基于马尔可夫分析方法的可信软件的可靠性建模问题。针对模块化的软件系统,......
针对可信软件非功能需求直接度量存在的困难及度量过程中不同群体对软件非功能需求的要求及视角的不同。依据构件中非功能需求之间......
针对不同群体对可信软件非功能的评价与决策不一致的问题,提出了一种基于非功能需求相互关系的可信软件非功能需求评价模型,并结合......
软件成本估算是控制软件进度、降低软件风险和保证软件质量的有效措施,已引起产业界和学术界的广泛关注。为能更准确地估算软件成......
2011年底,开放ETCS(open ETCS)项目正式成为在欧盟尤里卡计划(Eureka programme)框架下的旨在进行软件密集型系统和服务领域竞争前......
可信软件的不断发展,进一步推动了形式化方法的深入研究。形式化方法具有严格的数学语言和精确的逻辑语义,从而保证软件在开发过程......
随着Internet及其应用的快速发展与普及，越来越多的软件系统开始部署并且运行在网络环境上，计算机软件开发、部署、运行和维护的环境......
随着可信计算领域的不断发展,可信软件的研究已经逐渐成为当前的研究热点。如何构造可信软件问题,已经成为当前软件技术所面临的一......
随着软件在安全关键领域的广泛应用，可信软件的研究成为可信计算研究中的一个重要内容。由于软件系统本身的复杂特性，如何使软件具有......
随着计算机与网络的发展,各式各样的通讯交互不断增加,计算机已经成为我们生活中不可或缺的部分。信息化进程的加快,使得社会各个......
随着计算机技术的快速发展，软件已经应用到人们日常的学习、工作和生活的方方面面。随着软件应用规模的增大，人们对软件的依赖性越来......
计算机软件在快速发展给人们带来方便,但同时由于软件规模日趋庞大、形态日趋复杂,而使得许多软件本身的可信性变得越来越脆弱。传......
在安全领域,软件完整性提供了一个不同于以往的角度对软件当前的运行状态进行评估。软件完整性代表着软件的可信赖程度(trustworth......
在当前背景下,计算机和信息技术的使用已经渗透到人们生活的很多领域,信息技术的安全问题也更加直接地影响到人们的生活,网络攻击......
我国把信息安全问题与经济安全、政治安全、文化安全一起,列为国家的四大安全问题。为了从根本上缓解信息安全压力,有些PC厂商推出......
需求变化传播分析是实施复杂可信软件产品演化的关键。从可信需求和功能需求之间存在相互影响的视角,本文基于需求关系模型建立、......
电子邮件由于快捷、方便已逐步取代纸质邮件成为人们进行交流通讯的工具。但是在一些涉密的应用中,如政府、商业等重要部门还需具......
任何可执行文件都必须满足一定的结构特征.本文以Winelows平台下的PE文件为研究对象,从PE头、节头、节代码出发,给出了17个结构特......
目前,我国许多关键信息系统中采用的核心技术来自国外,这对我国的政治、经济、社会造成了极大的安全风险。没有网络安全就没有国家......
形式化方法是构建可信软件的重要途径.Koch曲线是典型的分形图形,本文使用形式化方法PAR及循环不变式开发策略,开发了基于L系统的K......
《中国电子报》2005年3月21日报导了未来几年信息技术十大重点发展领域,内容如下: 1.集成电路技术发展重点将集中在SIP(硅IP)重用......
可信性是在原有软件可靠性、正确性、安全性、生存性等众多概念基础上提出的全新概念,是软件行为、结果和用户预期的一致性反映,如......
风险管理是现代管理科学中十分重要的一个研究领域,有效的风险管理被管理者看作是实现组织目标的重要因素。虽然风险管理在近60年......
随着计算机应用的不断发展，在信息社会中发挥着至关重要的作用。但是软件的生产现状不能令人满意，软件安全事故、软件质量问题、软件......
摘 要 本文阐述了在科技发展迅速的今天，在众多行业当中信息的安全都包括了哪些方面，在行业当中软件编程人员通过可信软件的编程计算......
可信计算是目前信息安全领域研究的热点问题之一.首先,分析了软件可信度量的研究意义.然后构建了软件可信树体系结构,提出了软件可......
随着航天技术的迅猛发展,航天软件的功能越来越复杂,规模越来越大,对软件可信性的要求也越来越高.航天软件一旦失信,其带来的损失......
如何在开发阶段通过提高系统的可监控性从而提升软件可信性是当前的研究热点,这些研究取得了重要成果,但是还存在许多亟待解决的关......
随着软件规模和复杂度的增加,软件失效和故障问题日益加剧。如何在开发阶段利用开发环境为实现软件可信性提供有效支撑,从而确保软......
可信软件非功能需求的量化评估是可信软件研究的一个重要领域。依据构件中非功能需求之间的相互关系,结合设计结构矩阵及矩阵变换......
现有电力生产管理系统存在不能如期完成实施、运行不稳定和功能可用性不强等可信问题.本文提出一种由系统构建、系统实施过程管理......
针对传统基于USB接口的监控系统存在的诸如缺乏介质身份认证手段，难以有效地对各等级进行隔离，可信度低等问题，一种基于可信机制的数......
基于RAISE规范语言(RSL)的一个变体——时间化RAISE规范语言(TRSL),提出一种可信软件实时性测试用例集生成方法。该方法首先去除基......
为系统化地考虑开放环境对软件可信性的影响和驱动作用,提出了一种基于本体空间并支持动态演化的框架模型。该模型采用本体空间的......
结合软件可信性评估的特点及模糊理论的最新进展,提出一种基于模糊层次分析法和模糊多指标决策理论的评估模型。首先针对软件可信......
软件可信度评估受主观经验、主观决策及有限理性的影响,评估结果的精确性和客观性无法得到全面保证。为了解决上述问题,利用马尔可......
提出了一个软件行为监控框架,在此基础上,从软件行为描述、软件行为监测、软件行为可信管理和软件行为控制四个方面,阐述了可信软......
以软件可信性问题为主攻目标,首先阐述了可信软件的五大主要特征,给出了可信软件分析方法、测试方法和步骤,并总结了各个方法的缺......
国家教育部制定的高中新课程标准将算法初步作为高中数学课程的必修内容,算法与程序设计也首次纳入到选修课之列。全国大部分普通......
工作流技术作为业务过程管理的重要手段,一直是学术界研究热点。如何从正确的角度对工作流可信性进行分析与评价成为重要理论研究......
随着软件在关键领域的应用日趋普遍，由于软件复杂性导致的各种问题层出不穷，为保证软件的可信性，探索软件可信的自动化分析与验证方法......
介绍了分离逻辑的验证原理和特点及其在程序验证方面的应用实例，分析了为支持程序验证的若干分离逻辑研究进展，包括分离逻辑的自身属......
针对软件的可信任问题,展开对软件可信程度的度量和评估的研究,提出了软件质量模型及分级的可信软件评估模型,将软件的信任程度分......
为了保证和提高软件的可信性,针对当前可信软件需求管理在将可信性需求向软件设计过程映射方面存在的不足,提出基于质量功能展开（QF......
基于互联网构造可信软件的大规模协作开发环境是近年来软件工程领域的热点。对当前若干典型软件协作开发方法和技术进行了分析，参考......
