UMLsec自动分析验证工具的研究与设计  

STUDYING AND DESIGNING UMLSEC AUTOMATIC ANALYSIS VERIFICATION TOOL

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

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

出　　处：《计算机应用与软件》2014年第8期32-37,共6页Computer Applications and Software

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

摘　　要：在基于UMLsec模型开发的安全关键系统中,为了验证UMLsec模型描述的安全需求是否满足,提出一种支持自动分析验证UMLsec模型工具框架,研究设计了自动分析验证<<data security>>的验证插件。利用该验证插件分析验证了一个加密协议实例,从而说明了该工具能自动分析验证UMLsec模型描述的安全需求。In safety-critical system developed based on UMLsec model,in order to verify whether the security requirements described by UMLsec model has been satisfied,we present a framework which supports the automatic analysis and verification of UMLsec model tool,and study and design the validation plugin for automatically analysing and verifying data security . Finally,we analyse and verify an encryption protocol instance using this verification plugin,thus illustrate that the tool can provide automatic analysis and verification for the security requirements described by the UMLsec model.

关 键 词：UMLsec 安全关键系统 支持工具 

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