Designing secure software by testing application of security patterns

Takanori Kobashi*, Hironori Washizaki, Nobukazu Yoshioka, Haruhiko Kaiya, Takao Okubo, Yoshiaki Fukazawa


研究成果: Chapter

2 被引用数 (Scopus)


Simply confirming potential threats and vulnerabilities in an early stage of the development process (e.g., the requirement or design phase) is insufficient because software developers are not necessarily security experts. Additionally, even if the software design considers security at an early stage, whether the software actually satisfies the security requirements must be confirmed. To realize secure design, the authors propose an application to design software systems with verification of security patterns using model testing. The method provides extended security patterns, which include requirement- and design-level patterns as well as a new designing and model testing process that uses these patterns. Once developers specify threats and vulnerabilities in the target system in an early stage of development, the method can verify whether the security patterns are properly applied and assess if the vulnerabilities are resolved.

ホスト出版物のタイトルExploring Security in Software Architecture and Design
出版社IGI Global
出版ステータスPublished - 2019 1月 25

ASJC Scopus subject areas

  • コンピュータ サイエンス(全般)


「Designing secure software by testing application of security patterns」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。