Urmăriți
Fabio Massacci
Fabio Massacci
Chair at Vrije Universiteit, Netherlands and prof. at University of Trento, Italy
Adresă de e-mail confirmată pe ieee.org - Pagina de pornire
Titlu
Citat de
Citat de
Anul
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
9302006
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
2832005
Logical cryptanalysis as a SAT problem
F Massacci, L Marraro
Journal of Automated Reasoning 24 (1-2), 165, 2000
2422000
EXPTIME tableaux for ALC
FM Donini, F Massacci
Artificial Intelligence 124 (1), 87-138, 2000
2072000
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
1702014
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
1702014
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
1382004
Strongly analytic tableaux for normal modal logics
F Massacci
Cade 814, 723-737, 1994
1341994
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
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
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
1192005
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
1162015
Integrating Security and Software Engineering: Advances and Future Visions: Advances and Future Visions
H Mouratidis, P Giorgini
Igi Global, 2006
1142006
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
1112006
Single step tableaux for modal logics
F Massacci
Journal of Automated Reasoning 24, 319-364, 2000
1102000
Security and trust requirements engineering
P Giorgini, F Massacci, N Zannone
Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial …, 2005
1022005
Verifying the SET registration protocols
G Bella, F Massacci, LC Paulson
IEEE Journal on Selected Areas in Communications 21 (1), 77-87, 2003
1002003
Verifying security protocols as planning in logic programming
L Carlucci Aiello, F Massacci
ACM Transactions on Computational Logic (TOCL) 2 (4), 542-580, 2001
992001
Anatomy of exploit kits: Preliminary analysis of exploit kits as software artefacts
V Kotov, F Massacci
Engineering Secure Software and Systems: 5th International Symposium, ESSoS …, 2013
952013
Security-by-contract: Toward a semantics for digital signatures on mobile code
N Dragoni, F Massacci, K Naliuka, I Siahaan
Public Key Infrastructure: 4th European PKI Workshop: Theory and Practice …, 2007
932007
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20