| 基于系统理论过程分析的软件安全性需求分析与验证方法 |
| |
| 引用本文： | 秦楠,马亮,黄锐.基于系统理论过程分析的软件安全性需求分析与验证方法[J].计算机应用,2005,40(11):3261-3266. |
| |
| 作者姓名： | 秦楠 马亮 黄锐 |
| |
| 作者单位： | 海军潜艇学院, 山东 青岛 266199 |
| |
| 基金项目： | 国家自然科学基金资助项目（51377169）。 |
| |
| 摘 要： | 针对传统系统理论过程分析（STPA）方法缺乏自动化实现手段、自然语言结果分析存在歧义性的问题，提出一种基于STPA的软件安全性需求分析与验证方法。首先，提取软件安全性需求，并利用算法将其转化为形式化表达式；其次，建立状态图模型来描述软件安全控制行为逻辑，并将其转化为程序可读的形式化语言；最后，采用模型检验技术进行形式化验证。结合某武器发射控制系统案例验证了方法的有效性，结果表明，该方法能够实现安全需求分析的自动化生成与形式化验证，解决了传统方法对于人工干预的依赖问题及自然语言描述问题。
|
| 关 键 词： | 系统理论过程分析 软件安全需求 形式化方法 模型检验 武器发射控制系统 |
| 收稿时间： | 2020-04-27 |
| 修稿时间： | 2020-07-02 |
Software safety requirement analysis and verification method based on system theoretic process analysis |
| |
| QIN Nan,MA Liang,HUANG Rui.Software safety requirement analysis and verification method based on system theoretic process analysis[J].journal of Computer Applications,2005,40(11):3261-3266. |
| |
| Authors: | QIN Nan MA Liang HUANG Rui |
| |
| Affiliation: | Naval Submarine Academy, Qingdao Shandong 266199, China |
| |
| Abstract: | |
| |
| Keywords: | |
|
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
