导读:本文包含了可信软件构造论文开题报告文献综述及选题提纲参考文献，主要关键词:用户行为可信,软件可信,可信软件设计,可信
可信软件构造论文文献综述
孟天宝[1]（2014）在《基于用户行为可信的可信软件构造方法的研究与应用》一文中研究指出目前可信软件的研究内容主要是保证软件自身的可信，即保证软件自身在被攻击时依然能提供可靠的服务。由于操作软件的主要是用户，攻击或破坏软件的也是用户，所以研究用户的行为就显得非常重要。本文的主要研究内容是围绕用户行为可信及软件可信展开。本文将可信使用到软件的全生命周期中，在软件生命周期的各个阶段加入保证软件的可信性的因素和方法。并且深入研究了保证用户行为可信的方法，首次将用户行为可信与软件可信相结合，提出“基于用户行为可信的可信软件构造方法”，有效的增强了软件的可信性。本文的研究内容主要有：（1）构造可信软件需要考虑的因素。首先，介绍用户行为可信需要考虑的因素，并说明这些因素的范围。其次，介绍了软件可信需要考虑的因素，并对这些因素进行了详细说明。最后，对现在软件的漏洞进行了认真的分析，并且对每一类中的漏洞进行了详细说明。（2）基于用户行为可信的需求分析。主要介绍构造可信软件的需求分析阶段的内容。首先提出用户行为可信的需求和软件可信的需求，并对用户行为可信的需求的内容、需求声明的方式进行了详细说明。然后介绍了获取可信软件需求的四种方法。（3）基于用户行为可信的软件设计。首先对用户的行为可信进行设计，具体包括用户身份设计、用户行为声明的设计、用户行为可信评价模型的设计、用户行为监控的设计。然后我们对软件可信进行设计，包括设计阶段的避错、查错、纠错、容错设计，以及其他方面的软件可信设计。（4）基于用户行为可信的软件编码实现及运行维护。我们首先对用户的行为可信进行编码实现，具体包括用户身份可信验证模块的编码实现、用户行为声明模块的编码实现、用户行为可信评价模块的编码实现和用户行为监控模块的编码实现。然后我们对软件可信进行编码实现，包括软件容错模块的编码实现，以及其他方面的软件可信编码实现。最后我们对可信软件的运行维护进行详细介绍，包括用户行为可信的维护和软件可信的维护。(本文来源于《北京工业大学》期刊2014-05-01）
尹刚,王怀民,袁霖,朱沿旭,史殿习[2]（2011）在《构造基于互联网的可信软件生产服务系统》一文中研究指出基于互联网构造可信软件的大规模协作开发环境是近年来软件工程领域的热点。对当前若干典型软件协作开发方法和技术进行了分析,参考人类社会生产概念体系,提出了一种面向互联网的可信软件生产框架,对可信软件生产的概念、生产要素、生产活动和生产方式进行了系统的分类和阐述,给出了基本生产过程和核心生产要素组织方法。结合国家863重点项目软件成果"可信的国家软件资源共享与协同生产环境(Trustie)",分析了该可信软件生产框架在软件资源共享、协作开发和可信评估等方面的机理和有效性。(本文来源于《计算机科学与探索》期刊2011年10期）
田俊峰,朱叶[3]（2011）在《基于可信包装的可信软件构造模型(英文)》一文中研究指出Since the guarantee of trustiness is considered inadequate in traditional software development methods,software developed using these methods lacks effective measures for ensuring its trustiness.Combining agent technique with the support of trusted computing provided by TPM,a trust-shell-based constitution model of trusted software(TSCMTS)is demonstrated,trust shell ensures the trustiness of software logically.The concept of Trust Engine is proposed,which extends the "chain of trust" of TCG into application,and cooperates with TPM to perform integrity measurement for software entity to ensure the static trustiness;Data Structure called trust view is defined to represent the characteristic of software behavior.For the purpose of improving the accuracy of trustiness constraints,a strategy for determining the weights of characteristic attributes based on information entropy is proposed.Simulation experiments illustrate that the trustiness of software developed by the TSCMTS is improved effectively without performance degradation.(本文来源于《中国通信》期刊2011年04期）
朱叶[4]（2011）在《基于可信包装的可信软件构造模型》一文中研究指出传统的软件开发方法在软件可信性保障方面考虑较少,致使所开发软件的可信性难以保证,而加载有TPM的可信计算机只能在系统启动的初始阶段获得暂时的安全,一旦软件在运行过程中发生故障或失效,尤其是遭到恶意攻击时,将给用户和社会带来巨大的冲击和损害。软件的可信性作为软件质量的一种特殊表现形式受到了高度关注,可信软件能够保证软件的行为总是与预期相一致,使得软件的功能需求得到正确的实现,并且在很大程度上可信软件不会因为系统中存在的错误、环境的异常或恶意的攻击而导致软件的故障或失效。因此,如何保证软件的可信性以及如何构造可信软件将成为软件技术发展和应用的必然趋势,具有十分重要的理论意义与研究价值。结合Agent技术和TPM提供的可信计算功能,提出了基于可信包装的可信软件构造模型(Trusted Software Constitution Model based on Trust Shell,简称TSCMTS),在逻辑上可信包装负责保证软件的可信性。提出可信引擎的概念,将TCG信任链延伸到了应用实体,对软件实体进行完整性度量,保证其静态可信性;同时定义了可信视图的概念,表征软件行为特征信息。基于此,可信引擎通过验证软件运行时其行为是否满足可信性约束,实现对软件行为的动态可信性的保障。为了提高可信性约束的精度,提出了基于信息熵的检查点场景和时间偏量多属性权重分配策略。仿真实验表明该模型所设计的软件能够在降低较小性能的前提下有效地提高可信性。(本文来源于《河北大学》期刊2011-06-01）
陈建明,刘松,李志蜀,丁革建[5]（2011）在《基于形式化监控的可信软件构造模型》一文中研究指出传统的形式化方法和软件运行时监控都是提高软件可信性的有效途径,但存在监控需求表达能力不强及代码分散等问题。针对该问题,提出基于形式化监控的可信软件构造技术FM-TSPM,将形式化方法和运行时监控相结合,实现跨领域的方法融合。用形式化方法描述监控约束,根据监控约束生成方面监控代码,解决代码分散问题。采用AOP编织器将方面代码编织到目标系统中,构造出带监控能(本文来源于《计算机工程》期刊2011年01期）
蔡琼[6]（2010）在《可信软件实时性测试用例构造方法研究》一文中研究指出软件测试是保证软件质量的重要前提。测试用例的数量和质量决定软件测试的成本和有效性。对于一些时间约束很强的系统来说,其测试用例集构造方法的现有研究成果还存在一些缺陷。结合当前先进的面向规约的形式化测试技术,研究基于TRSL(Timed RSL)规约的可信软件实时性测试用例集构造方法。文章首先分析了可信软件测试用例生成方法的研究现状和存在问题,综述了可信软件基础理论及RSL语言。其次,研究基于RAISE(Rigorous Approach to Industrial Software Engineering,工业软件工程的严格方法)规范语言的一个变体――TRSL,给出一种可信软件实时性测试用例生成方法,该方法通过对软件规约的分析,去除基于TRSL软件规约中的抽象时间因素,利用划分分析的方法构造测试单元,再采用动态约束求解方法动态构造具有时间约束的构造项和观测项。最后,通过报警系统实例进一步说明构建基于TRSL规约的实时性测试用例的应用过程。(本文来源于《合肥工业大学》期刊2010-04-01）
王怀民,徐洁[7]（2010）在《可信软件的构造与演化分析专刊前言》一文中研究指出近年来,软件及其运行环境发生了质的变化,边界开放、规模巨大、行为复杂等特点使得软件系统在可信性方面面临许多新的挑战.如何构造和维护可信的软件系统受到了工业界和学术界越来越多的关注和重视,多(本文来源于《软件学报》期刊2010年02期）
李仁杰,张瞩熹,江海燕,王怀民[8]（2009）在《基于监控的可信软件构造模型研究与实现》一文中研究指出如何在开发阶段通过提高系统的可监控性从而提升软件可信性是当前的研究热点,这些研究取得了重要成果,但是还存在许多亟待解决的关键问题。针对这些问题,通过对现有研究成果的综述,在借助面向方面设计思想的基础上,设计了基于监控的可信软件构造模型TSCM,并以基于监控的可信软件开发环境TSIDE为背景分析了模型的实现要点和应用实例,最后分析了模型的主要特色。(本文来源于《计算机应用研究》期刊2009年12期）
郑剑,江建慧[9]（2009）在《基于可复用连接件的可信软件构造方法》一文中研究指出为了增强在构件组装过程中连接件的复用性,根据体系结构层的异常处理技术和理想容错构件的特点,提出了用四个基本连接件及其相互组合来实现构件间的连接,并将这一技术应用到理想容错构件结构中。相关的实践活动表明,通过四个基本连接件的组合可部分实现相关功能模块的功能,增强了连接件的复用,同时还方便了系统的维护和更新,增强了系统的可信性。(本文来源于《计算机应用研究》期刊2009年07期）
[10]（2009）在《《软件学报》可信软件的构造与演化专刊征文通知》一文中研究指出本专刊将收录国内外在可信软件构造和演化方面的具有创新性的研究成果,展示可信软件在理论、方法和技术方面的研究现状。本专刊将于2009年第12期出版,现特向国内外关注该主题的研究人员公开(本文来源于《软件学报》期刊2009年06期）
可信软件构造论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
基于互联网构造可信软件的大规模协作开发环境是近年来软件工程领域的热点。对当前若干典型软件协作开发方法和技术进行了分析,参考人类社会生产概念体系,提出了一种面向互联网的可信软件生产框架,对可信软件生产的概念、生产要素、生产活动和生产方式进行了系统的分类和阐述,给出了基本生产过程和核心生产要素组织方法。结合国家863重点项目软件成果"可信的国家软件资源共享与协同生产环境(Trustie)",分析了该可信软件生产框架在软件资源共享、协作开发和可信评估等方面的机理和有效性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
可信软件构造论文参考文献
[1].孟天宝.基于用户行为可信的可信软件构造方法的研究与应用[D].北京工业大学.2014
[2].尹刚,王怀民,袁霖,朱沿旭,史殿习.构造基于互联网的可信软件生产服务系统[J].计算机科学与探索.2011
[3].田俊峰,朱叶.基于可信包装的可信软件构造模型(英文)[J].中国通信.2011
[4].朱叶.基于可信包装的可信软件构造模型[D].河北大学.2011
[5].陈建明,刘松,李志蜀,丁革建.基于形式化监控的可信软件构造模型[J].计算机工程.2011
[6].蔡琼.可信软件实时性测试用例构造方法研究[D].合肥工业大学.2010
[7].王怀民,徐洁.可信软件的构造与演化分析专刊前言[J].软件学报.2010
[8].李仁杰,张瞩熹,江海燕,王怀民.基于监控的可信软件构造模型研究与实现[J].计算机应用研究.2009
[9].郑剑,江建慧.基于可复用连接件的可信软件构造方法[J].计算机应用研究.2009
[10]..《软件学报》可信软件的构造与演化专刊征文通知[J].软件学报.2009