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

• 作者: 李波 王飞 郝耀辉 郭渊博
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: UMLsec 安全关键系统 支持工具
• 年，卷（期）: 2014,（8）
• 所属期刊栏目: 软件技术与研究
• 页码范围: 32-37
• 页数: 6页
• 分类号: TP319
• 字数: 5079字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2014.08.009

摘要

在基于UMLsec模型开发的安全关键系统中,为了验证UMLsec模型描述的安全需求是否满足,提出一种支持自动分析验证UMLsec模型工具框架,研究设计了自动分析验证《data security》的验证插件.利用该验证插件分析验证了一个加密协议实例,从而说明了该工具能自动分析验证UMLsec模型描述的安全需求.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李波		12	72	5.0	8.0
2	王飞		13	56	4.0	7.0
3	郭渊博		41	99	4.0	9.0
4	郝耀辉		4	4	1.0	2.0