Verifying security requirements using model checking technique for UML-based requirements specification

Yoshitaka Aoki, Saeko Matsuura

研究成果: Conference contribution

6 引用 (Scopus)

抜粋

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.

元の言語English
ホスト出版物のタイトル2014 IEEE 1st International Workshop on Requirements Engineering and Testing, RET 2014 - Proceedings
出版者Institute of Electrical and Electronics Engineers Inc.
ページ18-25
ページ数8
ISBN(電子版)9781479963348
DOI
出版物ステータスPublished - 2014 9 23
イベント2014 IEEE 1st International Workshop on Requirements Engineering and Testing, RET 2014 - Karlskrona, Sweden
継続期間: 2014 8 262014 8 26

出版物シリーズ

名前2014 IEEE 1st International Workshop on Requirements Engineering and Testing, RET 2014 - Proceedings

Conference

Conference2014 IEEE 1st International Workshop on Requirements Engineering and Testing, RET 2014
Sweden
Karlskrona
期間14/8/2614/8/26

ASJC Scopus subject areas

  • Information Systems and Management
  • Software

フィンガープリント Verifying security requirements using model checking technique for UML-based requirements specification' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

    Aoki, Y., & Matsuura, S. (2014). Verifying security requirements using model checking technique for UML-based requirements specification. : 2014 IEEE 1st International Workshop on Requirements Engineering and Testing, RET 2014 - Proceedings (pp. 18-25). [6908674] (2014 IEEE 1st International Workshop on Requirements Engineering and Testing, RET 2014 - Proceedings). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/RET.2014.6908674