Verifying security requirements using model checking technique for UML-based requirements specification
Verifying security requirements using model checking technique for UML-based requirements specification
复制标题
使用模型检查技术验证基于 UML 的需求规范的安全需求
DOI：
10.1109/ret.2014.6908674
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Saeko Matsuura
中科院分区：
文献类型：
--
作者：
Yoshitaka Aoki;Saeko Matsuura
众所周知，用例分析是阐明功能需求的有效方法。访问或信息控制等安全要求往往会增加功能要求的复杂性，因此需要正确实施以最大限度地降低风险。然而，一般开发人员发现在软件开发过程的初始阶段很难正确指定足够的安全要求。我们提出了一种使用模型检查技术和通用标准安全知识来验证安全需求的方法，其规范基于统一建模语言（UML）。通用标准有助于以表格的形式定义足够的安全要求。这有助于开发人员在软件开发的早期阶段验证基于 UML 的需求分析模型是否满足这些需求。 UML模型和表格在UPPAAL模型检查工具中被转换为有限自动机。
Use case analysis is known to be an effective method to clarify functional requirements. Security requirements such as access or information control tend to increase the complexity of functional requirements, and therefore, need to be correctly implemented to minimize risks. However, general developers find it difficult to correctly specify adequate security requirements during the initial phases of the software development process. We propose a method to verify security requirements whose specifications are based on Unified Modeling Language (UML) using the model checking technique and Common Criteria security knowledge. Common Criteria assists in defining adequate security requirements in the form of a table. This helps developers verify whether UML-based requirements analysis models meet those requirements in the early stages of software development. The UML model and the table are transformed into a finite automaton in the UPPAAL model checking tool.
面向对象模型的基于协作的验证（日语）
DOI：
--
发表时间：
2005
期刊：
Computer Software (in Japanese) 22・1
影响因子：
--
作者：
矢竹健朗(他);田島 敬史;Kenro Yatake et al.
通讯作者：
Kenro Yatake et al.
基于UML的需求分析与自动原型系统生成、SIWN通信
DOI：
--
发表时间：
2008
期刊：
Communications of SIWN Vol. 3
影响因子：
--
作者：
S. Ogata;S. Matsuura
通讯作者：
S. Matsuura
基于UML的场景自动生成集成测试用例的方法
DOI：
--
发表时间：
2010
期刊：
WSEAS TRANSACTIONS on INFORMATION SCIENCE and APPLICATIONS Volume7
影响因子：
--
作者：
Shinpei Ogata;Saeko Matsuura
通讯作者：
Saeko Matsuura