面向体系结构的软件安全性需求开发方法研究.pdf

《面向体系结构的软件安全性需求开发方法研究.pdf》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、分类号：UDC：密级：编号：面向体系结构的软件安全性需求开发方法研究RESEARCH0NARCHITECTURE．ORIENTEDMETHODFORDEVELOPINGSOFTWARESAFETYREQUIREMENTS学位授予单位及代码：量蚕理]：盔芏(1Ql竖2学科亏业名称及代码：吐簋越挞住生理迨[QS12Q22指导敦帅：韭受$E虽!j塾攫申请学位级别：丝』长春理工大学硕士学位论文原创性声睛本人郑藿声明：所呈变的硕士学位论文．《面向体系结构的软件安全性需求丌发方法研究》是本人在指导教师的指导下．独立进行研究工

2、作所取得的成果。除文中已经注明引用的内容外，本论文不包含任何其他个人或集体已经发表或撰写过的作品成粜。对本文的研究做出重要贡献的个人和集体，均已在文中以明确方式标明。本人完全意识到本声明的法律结果由本人承担。作者签名扭2口¨年jq2口R长春理工大学学位论文版权使用授权书本学位论文作者及指导教师完全了解“k存理工大学硕士、博士学位论文版权使用规定”，同意长春理工人学保尉并向。p国科学信息研究所、t和国优秀博硕士学位论文全立数据库和CNKI系列数据库及其它周家有关矗Jf门或机构送变学位论文的复印件和电子版．允许论文被

3、查阅和借阅。本人授权长春理上火学可以将本学位论文的全部或部分内容编入有关数据库进行检索，也可采用影印、缩印或扫描等复制手段保存和舡编学位论文。Jf作者箍名：錾二lL兰型年三月型¨钏口箍影：；幽i少皇!L年立q兰日摘要随着软件在安全性关键系统中的应用规模越来越大、承担的安全性关键指挥控制功能越来越多，安全性关键的软件密集型系统(SCSIS)已初露端倪。在SCSIS中，软件安全性需求被认为是决定系统安全性的一个主要因素。本文旨在研究体系结构设计阶段的软件安全性需求丌发技术，这是因为：’方面软件体系结构表征丁基本的安全

4、性策略，另一方面确保体系结构全面、客观地反映软件安全性需求，将能避免后期返工，本文主要工作和贡献体现在：(1)综述了软件安全性研究现状。剖析了安全性与系统、软件的关系，明确了软件安全性的研究内容、工程过程：讨论了懿型的软件安全性需求丁{：发与表示方法．获得了在体系结构殴计阶段丌发软件安全性需求的重要启示：(2)提出了一种基于目标和场景的软件安全性需求丌发方法。政方法要求软件安全性需求丌发与体系结构设计协同进行。通过对分配在体系结构上的目标及实现场景进行背离分析，J『发出相应的反目标及负面场景。然后针对风险不可接受

5、的负面场景，丌发出包含危险处馒策略及度量标准的软件安全性需求，求精软件体系结构设计。以一个汽车电传制动系统为例说明了浚方法的应用可行性。关键宇：软件安全性安全-

6、生需求软件体系结构软件工程安全工程ABSTRACTSafely·criticalintensivesystems(SCSIS)areemergingassoftwareplaymoreandmoresalbty·criticalcommandandcontrolrolesinsafety—criticalsystemsSoftwaresafetyrequ

7、irementsareseenitsamajorcontributortosystemsafetyThedissertationfocuseso／／anewarchitecture-orienteddevelopmentmethodto『softwaresalletyrequirementsbecausesoftwarearchitecturerepresentsbasicsal?tylacficsAndifarchitecturerepresentsallsafetyrequirementsitwon’tdop

8、oorlyworkoveragain乩lastphasesofsoftwarelifecycleThemaincontributionsofthedissertationareaslbllowsFirstly,thepapersurveysthestateoftheartofsoftwaresafetyTherelationsofsafetytosystemandsoftwareareanalyzedtoshowwhatsoftwaresafetyisandwhatsafetyengineeringprocess

9、escanbeusedSecondly．thepaperfocusesonhowtodevelopandrepresentsoftwaresafetyrequirementTworevelationsarederivedfromtheexistingtechniquesandcanbeusedtodevelopsoftwaresal?tyrequirementsinthe