Seguir
Fabio Massacci
Fabio Massacci
Chair at Vrije Universiteit, Netherlands and prof. at University of Trento, Italy
Dirección de correo verificada de ieee.org - Página principal
Título
Citado por
Citado por
Año
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
9592006
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
2882005
Logical cryptanalysis as a SAT problem
F Massacci, L Marraro
Journal of Automated Reasoning 24, 165-203, 2000
2562000
EXPTIME tableaux for ALC
FM Donini, F Massacci
Artificial Intelligence 124 (1), 87-138, 2000
2132000
Comparing vulnerability severity and exploits using case-control studies
L Allodi, F Massacci
ACM Transactions on Information and System Security (TISSEC) 17 (1), 1-20, 2014
2122014
Requirements engineering meets trust management: Model, methodology, and reasoning
P Giorgini, F Massacci, J Mylopoulos, N Zannone
Trust Management: Second International Conference, iTrust 2004, Oxford, UK …, 2004
1462004
Strongly analytic tableaux for normal modal logics
F Massacci
International Conference on Automated Deduction, 723-737, 1994
1451994
Security events and vulnerability data for cybersecurity risk estimation
L Allodi, F Massacci
Risk Analysis 37 (8), 1606-1627, 2017
1352017
Stadyna: Addressing the problem of dynamic code updates in the security analysis of android applications
Y Zhauniarovich, M Ahmad, O Gadyatskaya, B Crispo, F Massacci
Proceedings of the 5th ACM Conference on Data and Application Security and …, 2015
1292015
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
1272005
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
1252003
Vulnerable open source dependencies: Counting those that matter
I Pashchenko, H Plate, SE Ponta, A Sabetta, F Massacci
Proceedings of the 12th ACM/IEEE international symposium on empirical …, 2018
1222018
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
1202000
Single step tableaux for modal logics
F Massacci
Journal of Automated Reasoning 24, 319-364, 2000
1182000
Integrating Security and Software Engineering: Advances and Future Visions: Advances and Future Visions
H Mouratidis, P Giorgini
Igi Global, 2006
1172006
Requirements engineering for trust management: model, methodology, and reasoning
P Giorgini, F Massacci, J Mylopoulos, N Zannone
International Journal of Information Security 5, 257-274, 2006
1162006
Verifying the SET registration protocols
G Bella, F Massacci, LC Paulson
IEEE Journal on Selected Areas in Communications 21 (1), 77-87, 2003
1122003
Security and trust requirements engineering
P Giorgini, F Massacci, N Zannone
International School on Foundations of Security Analysis and Design, 237-272, 2004
1072004
Anatomy of exploit kits: Preliminary analysis of exploit kits as software artefacts
V Kotov, F Massacci
International symposium on engineering secure software and systems, 181-196, 2013
1052013
A qualitative study of dependency management and its security implications
I Pashchenko, DL Vu, F Massacci
Proceedings of the 2020 ACM SIGSAC conference on computer and communications …, 2020
1042020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20