计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2014年
8期
32-37
,共6页
王飞%李波%郭渊博%郝耀辉
王飛%李波%郭淵博%郝耀輝
왕비%리파%곽연박%학요휘
UMLsec%安全关键系统%支持工具
UMLsec%安全關鍵繫統%支持工具
UMLsec%안전관건계통%지지공구
UMLsec%Safety-critical system%Supporting tool
在基于UMLsec模型开发的安全关键系统中,为了验证UMLsec模型描述的安全需求是否满足,提出一种支持自动分析验证UMLsec模型工具框架,研究设计了自动分析验证《data security》的验证插件.利用该验证插件分析验证了一个加密协议实例,从而说明了该工具能自动分析验证UMLsec模型描述的安全需求.
在基于UMLsec模型開髮的安全關鍵繫統中,為瞭驗證UMLsec模型描述的安全需求是否滿足,提齣一種支持自動分析驗證UMLsec模型工具框架,研究設計瞭自動分析驗證《data security》的驗證插件.利用該驗證插件分析驗證瞭一箇加密協議實例,從而說明瞭該工具能自動分析驗證UMLsec模型描述的安全需求.
재기우UMLsec모형개발적안전관건계통중,위료험증UMLsec모형묘술적안전수구시부만족,제출일충지지자동분석험증UMLsec모형공구광가,연구설계료자동분석험증《data security》적험증삽건.이용해험증삽건분석험증료일개가밀협의실례,종이설명료해공구능자동분석험증UMLsec모형묘술적안전수구.
