Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees

[1]  Wojciech Widel,et al.  Formal modeling and quantitative analysis of security using attack-defense trees. (Modélisation formelle et analyse quantitative de la sécurité à l'aide d'arbres les attaques et de défense) , 2019 .

[2]  Ross Horne,et al.  Breaking Unlinkability of the ICAO 9303 Standard for e-Passports Using Bisimilarity , 2019, ESORICS.

[3]  Heiko Mantel,et al.  On the Meaning and Purpose of Attack Trees , 2019, 2019 IEEE 32nd Computer Security Foundations Symposium (CSF).

[4]  Jiaming Jiang,et al.  On Linear Logic, Functional Programming, and Attack Trees , 2018, GraMSec@FLoC.

[5]  Ross Horne,et al.  Semantics for Specialising Attack Trees based on Linear Logic , 2017, Fundam. Informaticae.

[6]  Dov M. Gabbay,et al.  Theory of disjunctive attacks, Part I , 2016, Log. J. IGPL.

[7]  Dov M. Gabbay,et al.  Logical foundations for bipolar and tripolar argumentation networks: preliminary results , 2016, J. Log. Comput..

[8]  Barbara Kordy,et al.  Attack-defense trees , 2014, J. Log. Comput..

[9]  Dov M. Gabbay,et al.  Temporal, numerical and meta-level dynamics in argumentation networks , 2012, Argument Comput..

[10]  Serena Villata,et al.  Support in Abstract Argumentation , 2010, COMMA.

[11]  Juhnyoung Lee,et al.  A view of cloud computing , 2010, CACM.

[12]  Dov M. Gabbay.  Semantics for Higher Level Attacks in Extended Argumentation Frames Part 1: Overview , 2009, Stud Logica.

[13]  Robert J. Ellison,et al.  Attack Trees , 2009, Encyclopedia of Biometrics.

[14]  Simon Parsons,et al.  A Generalization of Dung's Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments , 2006, ArgMAS.

[15]  Stefano Bistarelli,et al.  Defense trees for economic evaluation of security investments , 2006, First International Conference on Availability, Reliability and Security (ARES'06).

[16]  A Min Tjoa,et al.  First International Conference on Availability, Reliability and Security (ARES´06) , 2006 .

[17]  Sjouke Mauw,et al.  Foundations of Attack Trees , 2005, ICISC.

[18]  C. Cayrol,et al.  On the Acceptability of Arguments in Bipolar Argumentation Frameworks , 2005, ECSQARU.

[19]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..