学位论文 > 优秀研究生学位论文题录展示

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

作　者: 姜超
导　师: 张彩虹
学　校: 长春理工大学
专　业: 计算机软件与理论
关键词: 软件安全性安全性需求软件体系结构软件工程安全工程
分类号: TP311.52
类　型: 硕士论文
年　份: 2011年
下　载: 39次
引　用: 0次
阅　读: 论文下载

内容摘要

随着软件在安全性关键系统中的应用规模越来越大、承担的安全性关键指挥控制功能越来越多,安全性关键的软件密集型系统(SCSIS)已初露端倪。在SCSIS中,软件安全性需求被认为是决定系统安全性的一个主要因素。本文旨在研究体系结构设计阶段的软件安全性需求开发技术,这是因为：一方面软件体系结构表征了基本的安全性策略,另一方面确保体系结构全面、客观地反映软件安全性需求,将能避免后期返工。本文主要工作和贡献体现在：(1)综述了软件安全性研究现状。剖析了安全性与系统、软件的关系,明确了软件安全性的研究内容、工程过程；讨论了典型的软件安全性需求开发与表示方法,获得了在体系结构设计阶段开发软件安全性需求的重要启示；(2)提出了一种基于目标和场景的软件安全性需求开发方法。该方法要求软件安全性需求开发与体系结构设计协同进行。通过对分配在体系结构上的目标及实现场景进行背离分析,开发出相应的反目标及负面场景。然后针对风险不可接受的负面场景,开发出包含危险处置策略及度量标准的软件安全性需求,求精软件体系结构设计。以一个汽车电传制动系统为例说明了该方法的应用可行性。

全文目录

摘要  4-5
ABSTRACT  5-6
目录  6-8
第一章绪论  8-13
  1.1 研究背景  8-9
  1.2 研究现状  9-10
  1.3 本文工作  10-11
  1.4 组织结构  11-13
第二章软件安全性综述  13-28
  2.1 安全性与系统  13-15
  2.2 安全性与软件  15-24
  2.3 安全性基本理论  24-27
  2.4 本章小结  27-28
第三章软件安全性需求开发与表示方法  28-41
  3.1 需求与安全性需求  28-31
  3.2 软件安全性需求开发方法  31-35
  3.3 软件安全性需求表示方法  35-39
  3.4 启示  39-40
  3.5 本章小结  40-41
第四章目标和场景相结合的软件安全性需求开发方法  41-53
  4.1 安全性与体系结构  41
  4.2 安全性的横切特征  41-42
  4.3 基于目标和场景的构件交互模型  42-46
  4.4 目标和场景相结合的软件安全性需求开发过程  46-51
  4.5 相关研究  51
  4.6 本章小结  51-53
第五章案例研究  53-63
  5.1 汽车电传制动系统  53-54
  5.2 目标与反目标开发  54-55
  5.3 目标UCM场景实现  55-56
  5.4 负面场景开发  56-60
  5.5 安全性需求开发  60-62
  5.6 本章小结  62-63
第六章总结与展望  63-65
  6.1 工作和成果  63
  6.2 研究展望  63-65
致谢  65-66
参考文献  66-69

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

内容摘要

全文目录

相似论文