安全苛求软件需求规格中的安全特性验证方法

？针对自然语言描述的安全苛求软件需求规格中安全特性不准确、不一致等问题，提出一种基于umlsec安全特性验证方法。该方法在uml需求模型类图和顺序图的基础上，为核心类的安全特性自定义构造型、标记和约束，完成umlsec模型构建；之后，使用设计实现的umlsec支持工具对安全特性进行自动验证。实验结果表明，该方法能准确描述安全苛求软件需求规格的安全特性，同时可以自动验证安全特性是否满足安全需求。