Helping forensic analysts to attribute cyber-attacks: an argumentation-based reasoner - Karafili, E; Wang, L; Kakas, A; Lupu, E (Springer Verlag, 2018)