10.3969/j.issn.1000-386x.2014.08.009
UMLsec自动分析验证工具的研究与设计
在基于UMLsec模型开发的安全关键系统中,为了验证UMLsec模型描述的安全需求是否满足,提出一种支持自动分析验证UMLsec模型工具框架,研究设计了自动分析验证《data security》的验证插件.利用该验证插件分析验证了一个加密协议实例,从而说明了该工具能自动分析验证UMLsec模型描述的安全需求.
UMLsec、安全关键系统、支持工具
31
TP319(计算技术、计算机技术)
河南省科技创新杰出青年计划项目104100510025
2014-10-09（万方平台首次上网日期，不代表论文的发表时间）
共6页
32-37
