计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2013年
7期
2041-2045
,共5页
王飞%郭渊博%李波%郝耀辉
王飛%郭淵博%李波%郝耀輝
왕비%곽연박%리파%학요휘
UMLsec%安全特性%验证
UMLsec%安全特性%驗證
UMLsec%안전특성%험증
UMLsec%security feature%verification
针对自然语言描述的安全苛求软件需求规格中安全特性不准确、不一致等问题,提出一种基于UMLsec安全特性验证方法.该方法在UML需求模型类图和顺序图的基础上,为核心类的安全特性自定义构造型、标记和约束,完成UMLsec模型构建;之后,使用设计实现的UMLsec支持工具对安全特性进行自动验证.实验结果表明,该方法能准确描述安全苛求软件需求规格的安全特性,同时可以自动验证安全特性是否满足安全需求.
針對自然語言描述的安全苛求軟件需求規格中安全特性不準確、不一緻等問題,提齣一種基于UMLsec安全特性驗證方法.該方法在UML需求模型類圖和順序圖的基礎上,為覈心類的安全特性自定義構造型、標記和約束,完成UMLsec模型構建;之後,使用設計實現的UMLsec支持工具對安全特性進行自動驗證.實驗結果錶明,該方法能準確描述安全苛求軟件需求規格的安全特性,同時可以自動驗證安全特性是否滿足安全需求.
침대자연어언묘술적안전가구연건수구규격중안전특성불준학、불일치등문제,제출일충기우UMLsec안전특성험증방법.해방법재UML수구모형류도화순서도적기출상,위핵심류적안전특성자정의구조형、표기화약속,완성UMLsec모형구건;지후,사용설계실현적UMLsec지지공구대안전특성진행자동험증.실험결과표명,해방법능준학묘술안전가구연건수구규격적안전특성,동시가이자동험증안전특성시부만족안전수구.