Fabio Massacci

A survey of autonomic communications

Simon Dobson, Spyros Denazis, Antonio Fernández Anta et al. · ACM Transactions on Autonomous and Adaptive Systems · 2006 · 615 citations · Full text

Autonomous Network, Autonomic Computing, Engineering +12

Modeling security requirements through ownership, permission and delegation

Paolo Giorgini, Fabio Massacci, John Mylopoulos et al. · 2005 · 214 citations

Engineering, Information Security, Software Engineering +21

Comparing Vulnerability Severity and Exploits Using Case-Control Studies

Luca Allodi, Fabio Massacci · ACM Transactions on Information and System Security · 2014 · 183 citations · Full text

Software Maintenance, Engineering, Information Security +31

Logical Cryptanalysis as a SAT Problem

Fabio Massacci, Laura Marraro · Journal of Automated Reasoning · 2000 · 137 citations

EXPtime tableaux for ALC

Francesco M. Donini, Fabio Massacci · Artificial Intelligence · 2000 · 123 citations

Formal Methods, Computer Algebra, Algebraic Combinatorics +2