Fabio Massacci - Google Scholar Citations

Cited by

	All	Since 2014
Citations	6541	2107
h-index	44	22
i10-index	131	62

580

290

145

435

1997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201923 26 34 78 96 108 112 89 191 235 369 459 567 526 520 505 413 408 429 385 428 426 30

Co-authors

Nicola ZannoneEindhoven University of TechnologyVerified email at tue.nl
John MylopoulosUniversity of OttawaVerified email at cs.toronto.edu
Paolo GiorginiProfessor of Computer Science, University of TrentoVerified email at unitn.it
Federica PaciElectronics and Computer Science, University of SouthamptonVerified email at soton.ac.uk
Luca AllodiEindhoven University of TechnologyVerified email at tue.nl
Olga GadyatskayaResearch AssociateVerified email at uni.lu
Nicola DragoniAssoc Prof of Distributed Systems and Security, DTU - Prof of Computer Engineering, ORUVerified email at dtu.dk
Hristo KoshutanskiSafe Society LabsVerified email at safesocietylabs.com
Frank PiessensProfessor of Computer Science, Katholieke Universiteit LeuvenVerified email at cs.kuleuven.be
Giampaolo BellaVerified email at dmi.unict.it
Nataliia BielovaResearcher (chargé de recherche) at INRIA Sophia AntipolisVerified email at inria.fr
Katsiaryna LabunetsTPM, TU Delft, NetherlandsVerified email at tudelft.nl
Lawrence PaulsonUniversity of CambridgeVerified email at cam.ac.uk
Ida SiahaanCanadian Institute of Cyber SecurityVerified email at unb.ca
Yudistira AsnarInstitut Teknologi BandungVerified email at stei.itb.ac.id
Artsiom YautsiukhinIIT-CNRVerified email at iit.cnr.it
Francesco M. DoniniFull Professor, Università della Tuscia - ViterboVerified email at unitus.it
Luca CompagnaSAP Security ResearchVerified email at sap.com
Giuseppe De GiacomoSapienza Università di RomaVerified email at dis.uniroma1.it
Woohyun ShimKorea Institute of Public AdministrationVerified email at kipa.re.kr

Fabio Massacci

Professor of Computer Science, University of Trento

Verified email at unitn.it - Homepage

risk analysis security security economics empirical software engineering requirements engineering


Title	Cited by	Year
A survey of autonomic communications S Dobson, S Denazis, A Fernández, D Gaïti, E Gelenbe, F Massacci, ... ACM Transactions on Autonomous and Adaptive Systems (TAAS) 1 (2), 223-259, 2006	747	2006
Modeling security requirements through ownership, permission and delegation P Giorgini, F Massacci, J Mylopoulos, N Zannone 13th IEEE International Conference on Requirements Engineering (RE'05), 167-176, 2005	246	2005
EXPTIME tableaux for ALC FM Donini, F Massacci Artificial Intelligence 124 (1), 87-138, 2000	178	2000
Logical cryptanalysis as a SAT problem F Massacci, L Marraro Journal of Automated Reasoning 24 (1-2), 165-203, 2000	162	2000
Requirements engineering meets trust management P Giorgini, F Massacci, J Mylopoulos, N Zannone International Conference on Trust Management, 176-190, 2004	123	2004
Strongly analytic tableaux for normal modal logics F Massacci International Conference on Automated Deduction, 723-737, 1994	121	1994
An access control framework for business processes for web services H Koshutanski, F Massacci Proceedings of the 2003 ACM workshop on XML security, 15-24, 2003	117	2003
Combining deduction and model checking into tableaux and algorithms for converse-PDL G De Giacomo, F Massacci Information and Computation 162 (1-2), 117-137, 2000	106	2000
Integrating Security and Software Engineering: Advances and Future Visions: Advances and Future Visions H Mouratidis Igi Global, 2006	103	2006
Requirements engineering for trust management: model, methodology, and reasoning P Giorgini, F Massacci, J Mylopoulos, N Zannone International Journal of Information Security 5 (4), 257-274, 2006	98	2006
Using a security requirements engineering methodology in practice: The compliance with the Italian data protection legislation F Massacci, M Prest, N Zannone Computer Standards & Interfaces 27 (5), 445-455, 2005	98	2005
Verifying the SET registration protocols G Bella, F Massacci, LC Paulson IEEE Journal on Selected Areas in Communications 21 (1), 77-87, 2003	96	2003
Single step tableaux for modal logics F Massacci Journal of Automated Reasoning 24 (3), 319-364, 2000	95	2000
Security and trust requirements engineering P Giorgini, F Massacci, N Zannone Foundations of Security Analysis and Design III, 237-272, 2005	85	2005
Generalized XML security views G Kuper, F Massacci, N Rassadko Proceedings of the tenth ACM symposium on Access control models and …, 2005	82	2005
Verifying security protocols as planning in logic programming LC Aiello, F Massacci ACM Transactions on Computational Logic 2 (4), 542-580, 2001	82	2001
Security-by-contract: Toward a semantics for digital signatures on mobile code N Dragoni, F Massacci, K Naliuka, I Siahaan European Public Key Infrastructure Workshop, 297-312, 2007	81	2007
The verification of an industrial payment protocol: The SET purchase phase G Bella, LC Paulson, F Massacci Proceedings of the 9th ACM conference on Computer and communications …, 2002	80	2002
From trust to dependability through risk analysis Y Asnar, P Giorgini, F Massacci, N Zannone The Second International Conference on Availability, Reliability and …, 2007	75	2007
Security-by-contract on the. net platform L Desmet, W Joosen, F Massacci, P Philippaerts, F Piessens, I Siahaan, ... Information Security Technical Report 13 (1), 25-32, 2008	74	2008

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors