Model-based systems security quantification


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


  • Presentations referencing similar topics