%0 Journal Article %A 郭渊博 %A 郝耀辉 %A 李波 %A 王飞 %T 安全苛求软件需求规格中的安全特性验证方法 %D 2013 %R 10.11772/j.issn.1001-9081.2013.07.2041 %J 计算机应用 %P 2041-2045 %V 33 %N 07 %X 针对自然语言描述的安全苛求软件需求规格中安全特性不准确、不一致等问题,提出一种基于UMLsec安全特性验证方法。该方法在UML需求模型类图和顺序图的基础上,为核心类的安全特性自定义构造型、标记和约束,完成UMLsec模型构建;之后,使用设计实现的UMLsec支持工具对安全特性进行自动验证。实验结果表明,该方法能准确描述安全苛求软件需求规格的安全特性,同时可以自动验证安全特性是否满足安全需求。 %U http://www.joca.cn/CN/10.11772/j.issn.1001-9081.2013.07.2041