Model-based systems security quantification

Abstract

In this paper, we address the issue of security verification and evaluation of systems at the design level. To this end, we elaborate a practical and formal framework that enables security risk assessment and security requirements verification on systems that are designed using SysML activity diagrams. Our approach is based on probabilistic adversarial… (More)
DOI: 10.1109/PST.2011.5971976

8 Figures and Tables

Topics

  • Presentations referencing similar topics