Security Engineering for Lifelong Evolvable Systems

Risk and argument: A risk-based argumentation method for practical security

TitleRisk and argument: A risk-based argumentation method for practical security
Publication TypeConference Paper
Year of Publication2011
AuthorsFranqueira, V. N. L., T. T. Tun, Y. Yu, R. Wieringa, and B. Nuseibeh
Conference Name19th IEEE International Requirements Engineering Conference
Date PublishedAugust 29 2011
PublisherIEEE
Conference LocationTrento, Italy
Abstract

When showing that a software system meets certain security requirements, it is often necessary to work with formal and informal descriptions of the system behavior, vulnerabilities, and threats from potential attackers. In earlier work, Haley et al. [1] showed structured argumentation could deal with such mixed descriptions. However, incomplete and uncertain information, and limited resources force practitioners to settle for good-enough security. To deal with these conditions of practice, we extend the method of Haley et al. with risk assessment. The proposed method, RISA (RIsk assessment in Security Argumentation), uses public catalogs of security expertise to support the risk assessment, and to guide the security argumentation in identifying rebuttals and mitigations for security requirements satisfaction. We illustrate RISA with a realistic example of PIN Entry Device.