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