当前位置:大学毕业论文> 本科论文>材料浏览

关于相关性论文范文写作 一种可信属性之间的相关性分析方法相关论文写作资料

主题:相关性论文写作 时间:2024-02-22

一种可信属性之间的相关性分析方法,这篇相关性论文范文为免费优秀学术论文范文,可用于相关写作参考。

相关性论文参考文献:

相关性论文参考文献 写论文方法论文方法有哪些论文调查方法国家级期刊的查询方法

摘 要:随着软件系统在信息社会中发挥越来越重要的作用,人们对软件系统的可信性方面的要求也愈来愈高.软件可信性可由软件可信属性集来进行描述和表示,但是人们根据软件系统的不同特征和不同层面提出了很多软件可信属性集.为此,本文提出一种软件可信属性的表示以及相关性分析的方法,给出了可信属性相关性、独立性和冗余性的概念,并基于相关性分析可以从所知的属性集中构建一个适合的可信属性最小子集作为对软件可信性进行评估的指标.此方法能够很好地对可信软件属性之间的相关性进行分析与度量.

关键词:软件可信性;可信属性;相关性分析

中图分类号:TP31 文献标识码:A

1 引言(Introduction)

可信软件作为软件领域最具挑战性和价值的研究课题之一,引起了国内外学者的高度重视.早在1991年,Laprie从安全关键系统的研究出发提出软件可依赖性(Dependability)的概念[1].2001年,Algirdas等提出软件的可依赖性是指人们相信软件系统所具有的、特定服务的能力[2,3],强调了人们对软件的信任.1997年美国国家科学技术委员会在《高可信系统的研究挑战》中明确提出了高可信性(High Confidence)的概念[4].我国学者陈火旺、王戟等认为高可信软件系统在提供服务时能满足一系列关键性质[5],具体涉及的性质包括:可靠安全性、可靠性、生存性、容错性、实时性、保密安全性中的一个或者多个.

德国科学研究基金委员会在奥尔登堡大学成立了可信软件研究院(Trust Soft Graduate School),该机构研究认为,软件系统的可信性是由正确性、安全性、服务质量(包括性能、可靠性、可用性)、保密性及私密性所决定的[6].刘克等认为可信软件(Trustworthy Software,TS)是指软件系统的动态行为及其运行结果总是符合人们预期,并在受到干扰时仍能提供连续服务的软件[7].他们认为可信性是在正确性、安全性、可靠性、时效性、完整性、可用性、可预测性、生存性、可控性等众多概念基础上发展起来的一个新概念,是软件系统诸多属性的综合反映.本文作者也提出过一种基于构件的可信软件框架及其表示方法[8].

2 可信软件和可信属性(Trusted software and

trustworthy attribute)

在软件可信性的研究中,如何描述和度量软件的可信性是当前研究的一项重要内容.一般来说,软件的行为及其产生的结果可以通过一组适当的属性来描述,即软件可信性可依据能够反映软件某种可信性的一组属性以及用户在这组属性上的预期来共同刻画,这贯穿于软件的整个生命周期.为此,人们提出了很多软件可信属性类型和分类方法.

软件可信属性是一组用来描述和评价软件系统可信的特性,通过这些属性可以更明确具体地描述软件可信的内涵.Avizienis等[9,10]提出了可信性的概念框架,该框架中可信属性包括:可用性(ailability)、可靠性(reliability)、防危性(safety)、机密性(confidentiality)、可维护性(maintainability)等.同时指出,软件的可用性、完整性和机密性构成了软件的安全性.陈火旺院士提出了高可信(high confidence)性质的概念[5],认为软件可信性质包括:可靠性(reliability)、防危性(safety)、安全性(security)、可生存性(survivability)、容错性(fault to lerance)、实时性(real time).

王怀民等主张从“客观性”和“主观性”两个方面分别定义可信软件:“软件可信性”指软件客观具有的质量;“可信软件”指用户对软件客观质量的主观认同.他们认为的影响软件可信性的属性包括:安全性、可用性、可靠性、实时性、可维护性和可生存性[11].

此外,其他的研究者对可信性所包含的可信属性也有不同的见解,其中,大部分的研究者认为可信性应包括可用性(Availability)、可靠性(Reliability)、可维护性(Maintainability)、防危性(Safety)、保密性(confidentiality)、完整性(integrity)和可生存性(survivability)等属性,而每个属性特性又可能包含了若干的子特性,这些可信属性特征共同构成了软件的可信属性模型.

软件可信性是通过软件可信属性集及其取值来进行描述的,可信属性集是一组软件可信属性的集合,它是与软件可信相关的一组指标体系.可以通过用户判断的软件所具有的关于可信属性的评价和取值来判断软件系统的可信性,从而对软件系统的可信性进行不断的改进.在软件系统的运行过程中,若可信属性满足要求,则意味着软件达到应有的可信程度或该软件能达到其预设的可信目标;否则,就可以认为软件系统在运行过程中不可信.

软件可信性可由软件可信属性集来进行描述和表示,但是人们根据软件系统的不同特征和用户所关心的不同层面提出了很多描述软件可信的属性集.这些属性集中的属性可能不相同,有些是冗余的,有些甚至是相互冲突的,因此,首先要解决的问题是如何选择属性来描述软件的可信性,并且需要考虑这些所选择的属性之间是否有冗余,分析它们之间具有什么样的相关性.

3 可信属性相关性分析(Correlation analysis of

trustworthy attributes)

3.1 可信属性的表示

对于一个可信软件系统TS,设其可信属性集为A等于{a1,a2,...,an},V是可信属性值的集合,,是可信属性的值域,即可信属性的取值范围,是一个可信属性函数,它指定某一可信软件系统TS中可信属性的取值范围.由于软件系统的特征和用户所关心的层面不同,不同的可信软件,其属性取值范围也各不相同.

结论:关于本文可作为相关性方面的大学硕士与本科毕业论文相关性论文开题报告范文和职称论文论文写作参考文献下载。

一种多属性条件下交通网络路径选择模型
摘要:本文讨论了多属性条件下的城市交通网络的路径选择问题。当路径的客观信息已知时,出行者对所关注的属性给出具体的主观偏好值。由于出行者的主观偏好。

考虑属性关联C—TODIM决策方法
摘要:针对属性具有关联性的多属性决策问题,考虑到决策者具有参照依赖和损失规避行为,提出一种新的C-TODIM决策方法。依据经典TODIM决策方法。

一种空滤器和进气道流量匹配方法
摘要:本文从某商用车进气流量需求目标入手,以理论计算分析为依据,制作空滤器及进气道样件,并通过整车进气实验,检验理论计算的正确性,该方法对于进气。

BOT项目资产属性和会计核算处理方法探析
摘要:近年来,BOT模式作为政府吸收民间资本参与公共基础设施建设的主要形式,在我国的应用越来越广泛。经过多年的实践,BOT项目在社会公益性建设上。

论文大全