基于UML顺序图的安全苛求软件安全性分析

摘要：

安全性分析对于确保开发出符合安全性需求的软件系统非常重要.该文从安全苛求软件的建模特点出发,分析现有的安全性分析方法和UML建模语言在安全苛求软件方面的应用及优缺点.针对UML面向安全性需求建模的不足,对顺序图增加了安全性描述方法.通过车载ATP系统的建模应片j验证其可行性与有效性.

关键词：安全苛求软件、安全性分析、形式化描述

所属期刊栏目：34

分类号：N945(系统科学)

资助基金：国家自然科学基金资助项目60674004

在线出版日期：2009-02-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：37-39