A structured argumentation system with backing and undercutting

2016 ◽  
Vol 49 ◽  
pp. 149-166 ◽  
Author(s):  
Andrea Cohen ◽  
Alejandro J. García ◽  
Guillermo R. Simari
2021 ◽  
Vol 26 (4) ◽  
Author(s):  
Mazen Mohamad ◽  
Jan-Philipp Steghöfer ◽  
Riccardo Scandariato

AbstractSecurity Assurance Cases (SAC) are a form of structured argumentation used to reason about the security properties of a system. After the successful adoption of assurance cases for safety, SAC are getting significant traction in recent years, especially in safety-critical industries (e.g., automotive), where there is an increasing pressure to be compliant with several security standards and regulations. Accordingly, research in the field of SAC has flourished in the past decade, with different approaches being investigated. In an effort to systematize this active field of research, we conducted a systematic literature review (SLR) of the existing academic studies on SAC. Our review resulted in an in-depth analysis and comparison of 51 papers. Our results indicate that, while there are numerous papers discussing the importance of SAC and their usage scenarios, the literature is still immature with respect to concrete support for practitioners on how to build and maintain a SAC. More importantly, even though some methodologies are available, their validation and tool support is still lacking.


2015 ◽  
Vol 113 ◽  
pp. 174-192 ◽  
Author(s):  
Nouredine Tamani ◽  
Patricio Mosse ◽  
Madalina Croitoru ◽  
Patrice Buche ◽  
Valérie Guillard ◽  
...  

Author(s):  
John Lowrance ◽  
Ian Harrison ◽  
Andres Rodriguez ◽  
Eric Yeh ◽  
Tom Boyce ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document