面向用例安全关键系统开发方法研究  

ON USE CASE-ORIENTED SECURITY KEY SYSTEM DEVELOPMENT METHOD

作　　者：王飞[1] 郭渊博[1] 郝耀辉[1] 李波[1] 

机构地区：[1]信息工程大学,河南郑州450004

出　　处：《计算机应用与软件》2013年第8期134-138,共5页Computer Applications and Software

基　　金：河南省科技创新杰出青年计划项目(104100510025)

摘　　要：面向用例模型的安全性分析方法是从系统需求文档中提取用例模型,给出其安全性分析规范,并将用例模型集成为合成使用模型。利用umlsec构造型描述安全性,并实现相应的安全性验证工具进行验证,从而避免后期考虑安全性的风险与成本,提高了系统开发的质量和效率。The use case-oriented security analysis method is to extract the use case model from system requirements document, concluds the security analysis specification, and integrates the use case models into the synthesized use model. In it the ：security is described with umlsec, and the verification using corresponding security verifying tool is imlemented. In this way it avoids having to considier the risk and cost of the security in late stage and improves the quality and efficiency of the system development as well.

关 键 词：安全性 用例模型 umlsec 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]