10.3969/j.issn.1000-386x.2013.08.036
面向用例安全关键系统开发方法研究
面向用例模型的安全性分析方法是从系统需求文档中提取用例模型,给出其安全性分析规范,并将用例模型集成为合成使用模型.利用umlsec构造型描述安全性,并实现相应的安全性验证工具进行验证,从而避免后期考虑安全性的风险与成本,提高了系统开发的质量和效率.
安全性、用例模型、umlsec
30
TP311(计算技术、计算机技术)
河南省科技创新杰出青年计划项目104100510025
2013-09-16（万方平台首次上网日期，不代表论文的发表时间）
共5页
134-138
