Research products of Fabio Massacci

All work published here is provided for the timely dissemination of results and copyright rest with legitimate copyright holders. Since the inception of DOI, I only put the last submitted copy available here. The final version (the one you should eventually check) is pointed by the DOI.

I know I should sort them by topic, I know it...

RESEARCH SOFTWARE

SI*-Tool --- http://sesa.dit.unitn.it/sistar_tool
A tool supporting security and risk requirements engineering.
- F. Massacci, J. Mylopoulos and N. Zannone. Computer-Aided Support for Secure Tropos. Automated Software Engineering Journal. 2007. (40-pages) PDF
- Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone: ST-Tool: A CASE Tool for Security Requirements Engineering. Proc. of IEEE RE'05. IEEE Press, 2005. (2-Pages) PDF
Security-by-Contract for Mobile code --- www.s3ms.org
A framework for matching and inlining security policies over midlets.
- L. Desmet, W. Joosen, F. Massacci, P. Philippaerts, F. Piessensa, I. Siahaan, D. Vanoverberghe, Security-by-contract on the .NET platform. Information Security Technical Report. 2008.PDF
interactiveAccess --- www.interactiveaccess.org
A system for Interactive Access Control.
- H. Koshutanski and F. Massacci: Interactive Access Control for Autonomic Systems: from Theory to Implementation. ACM Transactions on Autonomous and Adaptive Systems 2008. Final Version. Local PDF

PUBLICATIONS FOR THE GENERAL PUBLIC

N. Dragoni, F. Massacci: Security-By-Contract (SxC) for Mobile Systems -- or how to download software on your mobile without regretting it. Telektronik 2009. Final Version at Telenor. It is free so no local copy.
(in Italian) N. Dragoni, F. Massacci. Security-by-Contract: come scaricare software sul proprio cellulare senza pentirsene. In Le Scienze. Web News 2008. PDF
Y. Asnar, H. W. Lim, F. Massacci, C. Worledge: Realizing Trustworthy Business Services by A New GRC. To appear in the ISACA Journal 2010. Draft PDF.
V. Lotz, E. Pigout, P. M. Fischer, D. Kossmann, F. Massacci, A. Pretschner: Towards Systematic Achievement of Compliance in Service-Oriented Architectures: The MASTER Approach. Wirtschaftsinformatik 2008.

INTERNATIONAL JOURNALS

2009-now

G. M. Kuper, F. Massacci, N. Rassadko: Generalized XML security views. International Journal of Information Security 2009. Final Version @ Springer. PDF Draft.
N. Bielova, N. Dragoni, F. Massacci, K. Naliuka, I. Siahaan: Matching in security-by-contract for mobile code. Journal of Logic and Algebraic Programming 2009. Computer Networks 2009. Final Version @ Elsevier. PDF Draft
N. Dragoni, F. Massacci, A. Saidane: A self-protecting and self-healing framework for negotiating services and trust in autonomic communication systems. Computer Networks 2009. Final Version @ Elsevier.
N. Dragoni, F. Massacci, T. Walter, C. Schaefer: What the heck is this application doing? – A security-by-contract architecture for pervasive services. Computers and Security 2009. Final Version @ Elsevier. Local PDF Draft.
L. Compagna, P. El Khoury, A. Krausovį, F. Massacci, N. Zannone: How to integrate legal requirements into a requirements engineering methodology for the development of security and privacy patterns. Artificial Intelligence and Law 2009. Final Version @ Springer. PDF Draft.
2005-2008
H. Koshutanski and F. Massacci: Interactive Access Control for Autonomic Systems: from Theory to Implementation. ACM Transactions on Autonomous and Adaptive Systems 2008. Final Version @ ACM. Local PDF
L. Desmet, W. Joosen, F. Massacci, P. Philippaerts, F. Piessensa, I. Siahaan, D. Vanoverberghe: Security-by-contract on the .NET platform. Information Security Technical Report. 2008. Final Version @ Elsevier. Local PDF Draft
H. Kohutanski, F. Massacci: A Negotiation Scheme for Access Rights Establishment in Autonomic Communication. Journal of Network and Systems Management 2007. PDF
F. Massacci, J. Mylopoulos and N. Zannone. Computer-Aided Support for Secure Tropos. Automated Software Engineering Journal. 2007. PDF
F. Massacci, J. Mylopoulos and N. Zannone. From Hippocratic Databases to Secure Tropos: a Computer-Aided Re-Engineering Approach. International Journal of Software and Knowledge Engineering. 2007. PDF
G. Bella, F. Massacci, L. C. Paulson: Verification of an Industrial Payment Protocol. Journal of Automated Reasoning. 2006. PDF
S. Dobson, S. Denazis, A. Fernandez, D. Gaiti, E. Gelenbe, F. Massacci, P. Nixon, F. Saffre, N. Schmidt, F. Zambonelli: A survey of autonomic communications. ACM Transactions of Autonomous and Adaptive Systems2006. Local PDF (My most cited paper, the security section is mine).
P. Giorgini, F. Massacci, J. Mylopoulos and N. Zannone. Requirements Engineering for Trust Management: Model, Methodology, and Reasoning. International Journal of Information Security. 2006. PDF
F. Massacci, J. Mylopoulos and N. Zannone. Hierarchical Hippocratic Databases with Minimal Disclosure for Virtual Organizations. The VLDB Journal. 2006. PDF
G. Bella, F. Massacci, L. C. Paulson: An overview of the verification of SET. International Journal of Information Security 2005. PDF
F. Massacci, M. Prest, and N. Zannone. Using a Security Requirements Engineering Methodology in Practice: the compliance with the Italian Data Protection Legislation. Computer Standards and Interfaces 2005. PDF
2001-2004
G. Bella, F. Massacci, L. C. Paulson: Verifying the SET registration protocols. IEEE Journal of Selected Areas on Communications 2003. PDF
C. Fiorini, E. Martinelli, F. Massacci. How to fake an RSA signature by encoding modular root finding as a sat problem. Discrete Applied Mathematics 130, 2. 2003. ISSN 0166-218X101-127. PDF
L. Carlucci Aiello, F. Massacci. Verifying security protocols as planning in logic programming. ACM Transactions on Computational Logic (TOCL) 2, 4. 2001. ISSN 1529-3785542-580. PDF

1997-2000

G. De Giacomo, F. Massacci. Combining deduction and model checking into tableaux and algorithms for Converse-PDL. Information and Computation 162. 2000. ISSN 0890-5401117-137. Accepted in 1997. PDF
F. M. Donini, F. Massacci. EXPTIME tableaux for ALC. Artificial Intelligence Journal 124, 1. 2000. ISSN 0004-370287-138. PDF
F. Massacci. Single step tableaux for modal logics: methodology, computations, algorithms. Journal of Automated Reasoning 24, 3. 2000. ISSN 0168-7433319-364. PDF
F. Massacci. The complexity of analytic and clausal tableaux. Theoretical Computer Science 243, 1. 2000. ISSN 0304-3975477-487. PDF
F. Massacci, L. Marraro. Logical cryptanalysis as a SAT-problem: Encoding and analysis of the U.SS. Data Encryption Standard. Journal of Automated Reasoning 24, 1-2. 2000. ISSN 0168-7433165-203. PDF
F. Massacci. Tableaux methods for formal verification in multi-agent distributed systems. Journal of Logic and Computation 8, 3. 1998. ISSN 0955-792X373-400. PDF

EDITED BOOKS, PROCEEDINGS AND JOURNAL SPECIAL ISSUES

J. Camenish, J. Lopez, F. Massacci, T. Skordas. Special issue on EU Funded Research in Security, Privacy and Trust. Journal of Computer Security to appear in 2010.
F. Massacci, F. Piessens, S. Mauw: Special issue on Security and Trust. Science of Computer Programming 74(1-2): 1 (2008). here
Fabio Massacci, Samuel T. Redwine Jr., Nicola Zannone eds: Engineering Secure Software and Systems, First International Symposium (ESSoS 2009), Springer-Verlag, 2009. Available as LNCS 5429 volume.
L. Compagna, V. Lotz, F. Massacci.eds: Proc. of the ERCIM Security and Trust Management Workshop.(STM'07) Electronic Notes in Theoretical Computer Science, Elsevier, 2007.
F. Massacci, F. Piessens eds: Proc. of the 1st Workshop on Run-time Monitoring for Embedded and Mobile Systems (REM'07). Electronic Notes in Theoretical Computer Science, Elsevier, 2007.
G. Karjoth, F. Massacci eds. Proc. of the 2nd Workshop on Quality of Protection: Security measurements and metrics. ACM Press, 2006.
D. Gollman, F. Massacci and A. Yautsiukhin eds. Quality of Protection: Security measurements and metrics. Springer Verlag, 2006.
K. Stolen, W. H. Winsborough, F. Martinelli, F. Massacci eds: Trust Management, 4th International Conference, iTrust 2006, Springer-Verlag, 2006.
M. Barley, F. Massacci, H. Mouratidis, P. Scerri: Eds. Proceedings of the AAMAS International Workshop on on Safety and Security in Multiagent Systems. 2004. http://www.cs.auckland.ac.nz/research/safeagent/2004/
E. Giunchiglia, F. Massacci: Eds. Proceedings of the IJCAR International Workshop on Issues in the Design and Experimental Evaluation of Systems for Modal and Temporal Logics. 2001. Technical Report 10/2001 of Dip. Ingegneria dellā€™Informazione, Univ. di Siena. PDF

BOOK CHAPTERS

N. Dragoni, F. Martinelli, F. Massacci, P. Mori, C. Schaefer, T. Walter, E. Vetillard. Security-by-Contract (SxC) for Software and Services of Mobile Systems. In At Your Service, Selected Papers on EU research on Software and Services. MIT Press 2008. PDF
F. Massacci and N. Zannone. Detecting Conflicts between Functional and Security Requirements with Secure Tropos: John Rusnak and the Allied Irish Bank. In Social Modeling for Requirements Engineering. MIT Press, To appear in 2009. PDF
K. Koshutanski, F. Massacci. Interactive Access Control with Trust Negotiation for Autonomic Communication. In Advances in Enterprise Information Technology Security. Idea Group. 2007. PDF
F. Massacci, J. Mylopoulos, and N. Zannone. An Ontology for Secure Socio-Technical Systems. In Handbook of Ontologies for Business Interaction. Idea Group, 2007. PDF
P. Giorgini, F. Massacci, N. Zannone: Security and Trust Requirements Engineering. In Foundations of Security Analysis and Design III - Tutorial Lectures: 237-272, 2005. Springer Verlag. PDF
L. Carlucci Aiello, F. Massacci. Planning attacks to security protocols: Case studies in logic programming. In Computational Logic: Logic Programming and Beyond, A. C. Kakas and F. Sadri, Eds., vol. 2407 of Lecture Notes in Artificial Intelligence. Springer-Verlag Heidelberg, ISBN 3-540-43959-52002. PDF
F. Massacci, L. Marraro. Logical cryptanalysis as a SAT-problem: Encoding and analysis of the u.s. Data Encryption Standard1. In SAT-2000: Highlights of Satisfiability Research at the Year 2000, J. Gent, H. van Maaren, and T. Walsh, Eds., vol. 63 of Frontiers in Artificial Intelligence and Applications. IOS Press, Amsterdam, 2000, ISBN 1-58603-061-2pp. 343-376.

REFEREED INTERNATIONAL CONFERENCES AND WORKSHOPS

few things on 2010 I'm way behind schedule.

F. Massacci, S. Neuhaus, V. H. Nguyen. After-Life Vulnerabilities: A Study on Firefox Evolution, its Vulnerabilities, and Fixes. Proc. of ESSOS-2010. PDF
F. Massacci, V. H. Nguyen and A. Saidane: Security and Privacy for Ambient Assisted Living: An Organizational perspective. ACM WOrkshop on Security and Privacy in Medical and Home-Care Systems. SPIMACS-2009. PDF
F. Massacci, K. Naliuka: Towards Practical Security Monitors of UML Policies for Mobile Applications. In Proc. of APE'08 (Workshop at ARES), IEEE Press, 2008. PDF
F. Massacci, I. Siahaan. Simulating Midlet's Security Claims with Automata Modulo Theory. In Proc. of PLAS'08. ACM Press, 2008. PDF
2007
Y. Asnar, R. Bonato, P. Giorgini, F. Massacci, V. Meduri, C. Ricucci and A. Saidane. Secure and Dependable Patterns in Organizations: An Empirical Approach. In Proc. of IEEE RE'07, Industry Paper Track IEEE Press 2007. PDF
Y. Asnar, P. Giorgini, F. Massacci, N. Zannone: From Trust to Dependability through Risk Analysis. In Proc. of ARES'07. IEEE Press, 2007. PDF
L. Compagna, P. El Khoury, F. Massacci, R. Thomas, N. Zannone: How to capture, model, and verify the knowledge of legal, security, and privacy experts: a pattern-based approach. In Proc. of ICAIL'07, ACM Press 2007. PDF
L. Desmet, W. Joosen, F. Massacci, K. Naliuka, P. Philippaerts, F. Piessens, D. Vanoverbergh: A flexible security architecture to support third-party applications on mobile devices. In Proc. of CSAW'07. ACM Press 2007. PDF
N. Dragoni, F. Massacci: Security-by-contract for web services. In Proc. of SWS'07. ACM Press, 2007. PDF
N. Dragoni, F. Massacci, K. Naliuka, I. Siahaan: Security-by-Contract: Toward a Semantics for Digital Signatures on Mobile Code. In Proc. of EuroPKI 2007. LNCS Springer, 2007. PDF
N. Dragoni, F. Massacci, C. Schaefer, T. Walter, E. Vetillard. A Security-by-Contracts Architecture for Pervasive Services. In Proc. of SecPerU'07. IEEE Press 2007. PDF
S. Etalle, F. Massacci, A. Yautsiukhin: The Meaning of Logs. In Proc. of TrustBus'07. LNCS Springer 2007. PDF
Y. Karabulut, F. Kershbaum, F. Massacci, P. Robinson, A. Yautsiukhin: Security and Trust in IT Business Outsourcing: a Manifesto. In Proc. of STM'06. ENTCS, Elsevier, 2007. PDF
F. Massacci, I. Siahaan. Matching Midlet's Security Claims with a Platform Security Policy using Automata Modulo Theory. In Proc. of NordSec'07. 2007. PDF
F. Massacci, A. Yautsiukhin. An Algorithm for the Appraisal of Assurance Indicators for Complex Business Processes. In Proc. of QoP'07, ACM Press 2007. PDF
F. Massacci, A. Yautsiukhin. Modelling Quality of Protection in Outsourced Business Processes. In Proc. of IAS'07, IEEE Press 2007. PDF
A. Pretschner, F. Massacci, M. Hilty: Usage Control in Service-Oriented Architectures. In Proc. of TrustBus'07, LNCS Springer 2007. PDF
2006
G. Bella, S. Bistarelli, F. Massacci. Retaliation: Can We Live with Flaws? In Proc. of NATO Advanced Research Workshop in Security, IOS Press, 2006. PDF
V. Bryl, F. Massacci, J. Mylopoulos and N. Zannone. Designing Security Requirements Models through Planning. In Proc. of CAiSE'06, LNCS, Springer-Verlag 2006 PDF
P. Giorgini, F. Massacci, J. Mylopoulos and N. Zannone. Detecting Conflicts of Interest. In Proc. of IEEE RE'06. pages 315-318. IEEE Press, 2006. PDF
2005
P. Giorgini, F. Massacci, J. Mylopoulos, N. Zannone: Modeling Security Requirements Through Ownership, Permission and Delegation. In Proc. of IEEE RE'05, ļæ½IEEE Press 2005. PDF
P. Giorgini, F. Massacci, J. Mylopoulos, N. Zannone: Modeling Social and Individual Trust in Requirements Engineering Methodologies. In Proc. of iTrust'05 LNCS Springer 2005. PDF
H. Koshutanski, F. Massacci: Interactive Credential Negotiation for Stateful Business Processes. In Proc. of iTrust'05 LNCS Springer 2005. PDF
G. M. Kuper, F. Massacci, N. Rassadko: Generalized XML security views. In Proc. of SACMAT'05. ACM Press, 2005. PDF
F. Massacci, J. Mylopoulos, N. Zannone: Minimal Disclosure in Hierarchical Hippocratic Databases with Delegation. In Proc. of ESORICS'05, LNCS Springer 2005. PDF
N. Zannone, S. Jajodia, F. Massacci and D. Wijesekera. Maintaining Privacy on Derived Objects. In Proc. of WPES'05, pages 10-19. ACM Press, 2005. PDF
2004
G. Bella, S. Bistarelli, F. Massacci. A protocol's life after attacks. In Proceedings of the 11th International Workshop on Security Protocols, 2004. B. Christianson, Ed., Lecture Notes in Computer Science, Springer-Verlag Heidelberg. PDF
N. Chetcuti-Sperandio, F. Massacci. Semantique et raisonnement automatique pour une infrastructure a clefs publiques. In 14-me congres francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2004), 2004, vol. 3, pp. 1165-1174.
P. Giorgini, F. Massacci, J. Mylopoulos, N. Zannone. Filling the gap between requirements engineering and public key/trust management infrastructures. In Proceedings of the 1st European PKI Workshop: Research and Applications (1st EuroPKI), 2004, vol. 3093 of Lecture Notes in Computer Science, Springer-Verlag Heidelberg, ISBN 3-540-22216-2pp. 15-24. PDF
P. Giorgini, F. Massacci, J. Mylopoulos, N. Zannone. Requirements engineering meets trust management: model, methodology, and reasoning. In Proceedings of the Second International Conference on Trust Management (iTrust 2004), 2004. T. Dimitrakos, C. D. Jensen, and S. Poslad, Eds., vol. 2995 of Lecture Notes in Computer Science, Springer-Verlag Heidelberg, ISBN 3-540-21312-0pp. 176-190. PDF
H. Koshutanski, F. Massacci. A system for interactive authorization for Business Processes for Web Services. In Proceedings of the 4th International Conference on Web Engineering (ICWE'04), 2004, vol. 3140 of Lecture Notes in Computer Science, Springer-Verlag Heidelberg, ISBN 3-540-22511-0pp. 521-525. PDF
H. Koshutanski, F. Massacci. An interactive trust management and negotiation scheme. In Proceedings of the 1st International Workshop on Formal Aspects in Security and Trust (FAST'04), 2004. T. Dimitrakos and F. Martinelli, Eds., Kluwer Academic Publishers, pp. 139-152. PDF
H. Koshutanski, F. Massacci. E pluribus unum: Deduction, abduction and induction, the reasoning services for access control in autonomic communication. In Proceedings of the 1st IFIP TC6 WG6.6 International Workshop on Autonomic Communication (WAC) (Berlin, Germany, 2004), Lecture Notes in Computer Science, Springer-Verlag Heidelberg. To appear. PDF
H. Koshutanski, F. Massacci. Interactive access control for Web Services. In Proceedings of the 19th IFIP International Information Security Conference (SECā€™04), 2004. Kluwer Academic Publishers, pp. 151-166. PDF
F. Massacci, N. Zannone. Privacy is linking permission to purpose: extended abstract. In Proceedings of the 12th International Workshop on Security Protocols (2004), B. Christianson, B. Crispo, and M. Roe, Eds., Lecture Notes in Computer Science, Springer-Verlag Heidelberg. To appear. PDF

2003

L. Carlucci Aiello, F. Massacci. Attacking fair-exchange protocols: parallel models vs trace models. In International Workshop on Logical Aspects of Cryptographic Protocols Verification, 2003. J. Goubault-Larrecq, Ed., vol. 55 of Electronic Notes in Theoretical Computer Science, ISBN 0444510699Elsevier Science Publishers (North-Holland), Amsterdam. PDF
N. Chetcuti-Sperandio, F. Massacci. A semantics and a calculi for reasoning about credential-based systems. In Proceedings of the International Workshop Methods for Modalities (M4M'03), 2003, pp. 61-76. PDF
N. Chetcuti-Sperandio, F. Massacci. Reasoning about credential-based systems. In Proceedings of the 1st International Workshop on Formal Aspects in Security and Trust (FASTā€™03), 2003. Istituto di Informatica e Telematica, Pisa, Italy, pp. 23-38. Technical Report IIT TR-10/2003. PDF
P. Giorgini, F. Massacci, J. Mylopoulos. Requirements engineering meets security: a case study on modelling Secure electronic Transactions by VISA and Mastercard. In Proceedings of the 22nd International Conference on Conceptual Modeling (ER'03), 2003. I. Song, S. W. Liddle, T. W. Ling, and P. Scheuermann, Eds., vol. 2813 of Lecture Notes in Computer Science, Springer-Verlag Heidelberg, ISBN 3-540-20299-4pp. 263-276. PDF
H. Koshutanski, F. Massacci. A logical model for security of Web Services. In Proceedings of the 1st International Workshop on Formal Aspects in Security and Trust (FASTā€™03) (September 2003), T. Dimitrakos and F. Martinelli, Eds., Istituto di Informatica e Telematica, Pisa, Italy, pp. 1-8. Technical Report IIT TR-10/2003. PDF
H. Koshutanski, F. Massacci. An access control framework for business processes for web services. In ACM workshop on XML security (XMLSEC-2003) (31 October 2003), K. M., Ed., ACM Press, ISBN 1-58113-777-Xpp. 15-24. PDF
H. Koshutanski, F. Massacci. An access control system for business processes for web services. In Nordic Workshop on Secure IT Systems (NORDSEC'03) (Gjovik University College, Norway., October 2003), E. Jonsson, S. Knapskog, and S. Fischer-HĆ¼bner, Eds. PDF

2002

G. Bella, F. Massacci, L. C. Paulson. The verification of an industrial payment protocol: The SET purchase phase. In Proceedings of the 9th ACM Conference on Communications and Computer Security (CCSā€™02), 2002. V. Atluri, Ed., ACM Press, ISBN 1-58113-612-9pp. 12-20. PDF
F. M. Donini, P. Liberatore, F. Massacci, M. Schaerf. Solving QBF with SMV. In Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KRā€™02), 2002. ISBN 1-55860-847-8pp. 578-589. PDF
F. Massacci. Formal verification of SET by VISA and MasterCard: Lessons for formal methods in security. In Proceedings of FLOC-2002 Verification Workshop - VERIFYā€™02 (2002), pp. 2-4. Abstract of invited talk. Proceedings published as DIKU Technical Report no. 2002/07. Available on the web at http://www.diku.dk/publikationer/tekniske.rapporter/2002/02-07.pdf. Invited by a special issue of the International Journal of Information and Systems Security. PDF

2001

A. Fioravanti, F. Massacci. How to model (and simplify) the SET payment phase for automated verification. In Proceedings of IJCAR-2001 Verification Workshop - VERIFYā€™01, 2001, pp. 34-44. Proceedings published as DII Technical Report 08/01, Univ. of Siena). PDF
F. Massacci. Decision procedures for expressive description logics with intersection, composition, converse of roles and role identity. In Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI'01) (2001), B. Nebel, Ed., Morgan Kaufmann, ISBN 1-55860-777-3pp. 193-198. PDF

2000

P. Baumgartner, F. Massacci. The taming of the (X)OR. In Computational Logic - CL 2000, First International Conference, 2000, L. J. et al., Ed., vol. 1861 of Lecture Notes in Artificial Intelligence, Springer-Verlag Heidelberg, ISBN 3-540-67797-6pp. 508-522. Stream on Automated Deduction: Putting Theory into Practice. PDF
G. Bella, F. Massacci, L. Paulson, T. Pietro. Formal verification of Card-Holder Registration in SET. In Proceedings of the 6th European Symposium on Research in Computer Security (ESORICS'00), 2000. F. Cuppens, Y. Deswarte, and D. Gollman, Eds., vol. 1895 of Lecture Notes in Computer Science, Springer-Verlag Heidelberg, ISBN 3-540-41031-7pp. 159-174. Invited for publication on a special issue by the Journal of Computer Security and by the International Journal of Information and Systems Security. PDF
G. Bella, F. Massacci, L. Paulson, T. Pietro. Making sense of specifications: the formalization of SET (extended abstract). In Proc. of the 8th Internat. Workshop on Security Protocols, 2000. B. Christianson, B. Crispo, and M. Roe, Eds., vol. 2133 of Lecture Notes in Computer Science, Springer-Verlag Heidelberg, pp. 74-81. PDF
L. Carlucci Aiello, F. Massacci. An executable specification language for planning attacks to security protocols. In Proceedings of the 2000 IEEE Computer Society Security Foundations Workshop, 2000. P. Syverson, Ed., IEEE Computer Society Press, ISBN 0-7695-0671-2pp. 88-103. PDF
M. Hietalahti, F. Massacci, I. Niemela. DES: a challenge problem for nonmonotonic reasoning systems. In Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (NMR-2000) (Breckenridge , Colorado - USA, April 2000), C. Baral and M. Truszczynski, Eds. LINK
F. Massacci. Reduction rules and universal variables for first order tableaux and DPLL. In Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning (KR 2000), 2000, A. Cohen, F. Giunchiglia, and B. Selman, Eds., Morgan Kaufmann, ISBN 1-55860-690-4pp. 186-197. PDF
F. Massacci, F. M. Donini. Design and results of TANCS-00. In Proceedings of the 4th International Conference on Analytic Tableaux and Related Methods (TABLEAUX-00) (2000), R. Dyckhoff, Ed., vol. 1847 of Lecture Notes in Artificial Intelligence, Springer-Verlag Heidelberg, ISBN 3-540-67697-Xpp. 52-56. PDF

1999

L. Marraro, F. Massacci. Towards the formal verification of ciphers: Logical cryptanalysis of DES. In Third LICS Workshop on Formal Methods and Security Protocols (July 1999), E. Clarke and N. Heintze, Eds., Federated Logic Conferences FLOC-99. Proceedings available on the web at: http://cm.bell-labs.com/cm/cs/who/nch/fmsp99/. PS.GZ
F. Massacci. Design and results of the TABLEAUX-99 non-classical (modal) systems comparison. In Proceedings of the 3rd International Conference on Analytic Tableaux and Related Methods (TABLEAUX-99) (1999), N. Murray, Ed., vol. 1617 of Lecture Notes in Artificial Intelligence, Springer-Verlag Heidelberg, ISBN 3-540-66086-0pp. 14-18. PS.GZ
F. Massacci. Using walk-SAT and rel-sat for cryptographic key search. In Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI'99) (1999), T. Dean, Ed., Morgan Kaufmann, ISBN 1-55860-613-0pp. 290-295. PDF

1998

F. Massacci. Anytime approximate modal reasoning. In Proceedings of the 15th National (U.S.) Conference on Artificial Intelligence (AAAI-98) (1998), J. Mostow and C. Rich, Eds., AAAI Press/The MIT Press, ISBN 0-262-51098-7pp. 274-279. PS.GZ
F. Massacci. Cook and Reckhow are wrong: subexponential tableau proofs for their family of formulae. In Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98) (1998), H. Prade, Ed., Morgan Kaufmann, ISBN 0-471-98431-0pp. 408-409. PS.GZ
F. Massacci. Simplification: A general constraint propagation technique for propositional and modal tableaux. In Proceedings of the 2nd International Conference on Analytic Tableaux and Related Methods (TABLEAUX-98) (1998), H. de Swart, Ed., vol. 1397 of Lecture Notes in Artificial Intelligence, Springer-Verlag Heidelberg, ISBN 3-540-64406-7pp. 217-231. PS.GZ
F. Massacci. A proof theory for tractable approximations of propositional reasoning. In Proceedings of the 5th Conference of the Italian Association for Artificial Intelligence (AI*IA-97) (1997), M. Lenzerini, Ed., vol. 1321 of Lecture Notes in Artificial Intelligence, Springer-Verlag Heidelberg, ISBN 3-540-63576-9pp. 219-230. PS.GZ
F. Massacci. Breaking security protocols as an AI planning problem. In Proceedings of the European Conference on Planning (ECPā€™97) (1997), S. Steel and R. Alami, Eds., vol. 1348 of Lecture Notes in Artificial Intelligence, Springer-Verlag Heidelberg, ISBN 3-540-63912-8pp. 286-298. PS.GZ
F. Massacci. Reasoning about security: a logic and a decision methods for role-based access control. In Proceedings of the International Joint Conference on Qualitative and Quantitative Practical Reasoning (ECSQARU/FAPRā€™97) (1997), D. Gabbay, R. Kruse, A. Nonnegart, and H. J. Ohlbach, Eds., vol. 1244 of Lecture Notes in Artificial Intelligence, Springer-Verlag Heidelberg, ISBN 3-540-63095-3pp. 421-435. PS.GZ
F. Massacci. Tableaux methods for access control in distributed systems. In Proceedings of the 1st International Conference on Analytic Tableaux and Related Methods (TABLEAUX-97) (1997), D. Galmiche, Ed., vol. 1227 of Lecture Notes in Artificial Intelligence, Springer-Verlag Heidelberg, ISBN 3-540-62920-3pp. 246-260. PS.GZ

1996

F. M. Donini, F. Massacci, D. Nardi, R. Rosati. A uniform tableaux method for nonmonotonic modal logics. In Proc. of the 6th European Workshop on Logics in Artificial Intelligence (JELIA-96), 1996. J. Alferes, L. Pereira, and E. Orlowska, Eds., vol. 1126 of Lecture Notes in Artificial Intelligence, Springer-Verlag Heidelberg, ISBN 3-540-61630-6pp. 87-103. PS.GZ
G. De Giacomo, F. Massacci. Tableaux and algorithms for propositional dynamic logic with converse. In Proceedings of the 13th International Conference on Automated Deduction (CADE-96), 1996. M. A. McRobbie and J. K. Slaney, Eds., vol. 1104 of Lecture Notes in Artificial Intelligence, Springer-Verlag Heidelberg, ISBN 3-540-61511-3pp. 613-628. PS.GZ
F. Massacci. Approximate reasoning for contextual databases. In Proceedings of the 8th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-96) (1996), M. G. Radle, Ed., IEEE Computer Society Press, ISBN 0-8186-7686-8pp. 308-315. PS.GZ
F. Massacci. Contextual reasoning is NP-complete. In Proceedings of the 13th National (U.S.) Conference on Artificial Intelligence (AAAI-96) (1996), W. J. Clancey and D. Weld, Eds., AAAI Press/The MIT Press, ISBN 0-262-51091-Xpp. 621-626. PS.GZ
F. Massacci. From sound and complete to approximate deduction. In AISB-96 Workshop on Automated Reasoning "Bridging the Gap Between Theory and Practice" (April 1996), I. Gent, Ed., AISB. Position paper for the panel "Implementing Temporal Reasoning". PS.GZ

1995

F. Massacci. A bridge between modal logics and contextual reasoning. In IJCAI-95 International Workshop on "Modeling Context in Knowledge Representation and Reasoning" (1995), P. BrĆ©zillon and S. Abu-Hakima, Eds., no. 95/11 in LAFORIA Technical Reports, Institut Blaise Pascal, pp. 89-98. PS.GZ
F. Massacci. Superficial tableaux for contextual reasoning. In Proceedings of the AAAI-95 Fall Symposium on "Formalizing Context" (1995), S. Buva, Ed., no. FS-95-02 in AAAI Technical Reports Series, AAAI Press/The MIT Press, ISBN 0-929280-96-2pp. 60-66. PS.GZ

1994

F. Massacci. Strongly analytic tableaux for normal modal logics. In Proceedings of the 12th International Conference on Automated Deduction (CADE-94) (1994), A. Bundy, Ed., vol. 814 of Lecture Notes in Artificial Intelligence, Springer-Verlag Heidelberg, ISBN 3-540-58156-1pp. 723-737. PS.GZ
F. Massacci. k-clusters tableaux (a tool for modal logics and inconsistent belief sets). AI*IA Notizie 4. 1994. 23-33. Ex-aequo AI*IA award in 1994 for the best paper in Artificial Intelligence by master graduates. PS.GZ

THESES

F. Massacci. Efficient Approximate Deduction and an Application to Computer Security. PhD thesis, UniversitĆ� di Roma "La Sapienza", Dipartimento di Informatica e Sistemistica, June 1998. PS.GZ

TEACHING BOOKS

D. CALVANESE, P. LIBERATORE, F. MASSACCI, R. ROSATI. Complementi ed Esercizi di Programmazione in PASCAL, 2 ed. Progetto Leonardo. Esculapio Editore, Bologna, ISBN 88-86524-23-41999. http://www.dis.uniroma1.it/~pascal
D. CALVANESE, P. LIBERATORE, F. MASSACCI, R. ROSATI. Programmazione con Strutture Dati in C, 1 ed. Progetto Leonardo. Esculapio Editore, Bologna, ISBN 88-86524-52-82001. In Italian. Programs available on the web. http://www.dis.uniroma1.it/~progc