A Tool Support Methodology for Creating Security Cases Using Argument Patterns

A Tool Support Methodology for Creating Security Cases Using Argument Patterns

연구 분야: Verification

학회: International Conference on Model and Data Engineering

Deploying security-critical systems requires assurance cases to demonstrate compliance with security requirements, as increasingly mandated by security standards. Building these cases with rigorous arguments and evidence is essential, yet gathering sufficient evidence post-deployment is often challenging, costly, and time-consuming. Security argument patterns aid in reuse, highlighting the need for tools that simplify their definition and application. This paper presents a methodology supported by a domain-specific modeling language (DSML) to create, analyze, and apply security argument patterns for constructing security cases.