Fabio Massacci Papers on DiSC'04 Requirement Engineering meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard Publications Note: Links lead to the DBLP on the Web. Fabio Massacci Paolo Giorgini , Fabio Massacci, John Mylopoulos , Nicola Zannone : Modeling Social and Individual Trust in Requirements Engineering Methodologies. iTrust 2005 : 161-176 Hristo Koshutanski , Fabio Massacci: Interactive Credential Negotiation for Stateful Business Processes. iTrust 2005 : 256-272 Paolo Giorgini , Fabio Massacci, John Mylopoulos , A. Siena , Nicola Zannone : ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements. iTrust 2005 : 415-419 Giampaolo Bella , Fabio Massacci, Lawrence C. Paulson : An overview of the verification of SET. Int. J. Inf. Sec. 4 (1-2): 17-28 (2005) Paolo Giorgini , Fabio Massacci, John Mylopoulos , Nicola Zannone : Filling the Gap between Requirements Engineering and Public Key/Trust Management Infrastructures. EuroPKI 2004 : 98-111 Hristo Koshutanski , Fabio Massacci: A System for Interactive Authorization for Business Processes for Web Services. ICWE 2004 : 521-525 Hristo Koshutanski , Fabio Massacci: Interactive Access Control for Web Services. SEC 2004 : 151-166 Paolo Giorgini , Fabio Massacci, John Mylopoulos , Nicola Zannone : Requirements Engineering Meets Trust Management: Model, Methodology, and Reasoning. iTrust 2004 : 176-190 Paolo Giorgini , Fabio Massacci, John Mylopoulos : Requirement Engineering Meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard. ER 2003 : 263-276 Claudia Fiorini , Enrico Martinelli , Fabio Massacci: How to fake an RSA signature by encoding modular root finding as a SAT problem. Discrete Applied Mathematics 130 (2): 101-127 (2003) Giampaolo Bella , Lawrence C. Paulson , Fabio Massacci: The verification of an industrial payment protocol: the SET purchase phase. ACM Conference on Computer and Communications Security 2002 : 12-20 Luigia Carlucci Aiello , Fabio Massacci: Planning Attacks to Security Protocols: Case Studies in Logic Programming. Computational Logic: Logic Programming and Beyond 2002 : 533-560 Francesco M. Donini , Paolo Liberatore , Fabio Massacci, Marco Schaerf : Solving QBF by SMV. KR 2002 : 578-592 Fabio Massacci: Decision Procedures for Expressive Description Logics with Intersection, Composition, Converse of Roles and Role Identity. IJCAI 2001 : 193-198 Luis Fariñas del Cerro , David Fauthoux , Olivier Gasquet , Andreas Herzig , Dominique Longin , Fabio Massacci: Lotrec : The Generic Tableau Prover for Modal and Description Logics. IJCAR 2001 : 453-458 Luigia Carlucci Aiello , Fabio Massacci: Verifying security protocols as planning in logic programming. ACM Trans. Comput. Log. 2 (4): 542-580 (2001) Luigia Carlucci Aiello , Fabio Massacci: Attacking fair-exchange protocols: parallel models vs trace models. Electr. Notes Theor. Comput. Sci. 55 (1): (2001) Luigia Carlucci Aiello , Fabio Massacci: An Executable Specification Language for Planning Attacks to Security Protocols. CSFW 2000 : 88-102 Peter Baumgartner , Fabio Massacci: The Taming of the (X)OR. Computational Logic 2000 : 508-522 Giampaolo Bella , Fabio Massacci, Lawrence C. Paulson , Piero Tramontano : Formal Verification of Cardholder Registration in SET. ESORICS 2000 : 159-174 Fabio Massacci: Reduction rules and universal variables for first order tableaux and DPLL. KR 2000 : 186-197 Giampaolo Bella , Fabio Massacci, Lawrence C. Paulson , Piero Tramontano : Making Sense of Specifications: The Formalization of SET. Security Protocols Workshop 2000 : 74-81 Fabio Massacci, Francesco M. Donini : Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison. TABLEAUX 2000 : 52-56 Francesco M. Donini , Fabio Massacci: EXPTIME tableaux for ALC. Artif. Intell. 124 (1): 87-138 (2000) Maarit Hietalahti , Fabio Massacci, Ilkka Niemelä : DES: a Challenge Problem for Nonmonotonic Reasoning Systems CoRR cs.AI/0003039 : (2000) Giuseppe De Giacomo , Fabio Massacci: Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL. Inf. Comput. 162 (1-2): 117-137 (2000) Fabio Massacci, Laura Marraro : Logical Cryptanalysis as a SAT Problem. J. Autom. Reasoning 24 (1/2): 165-203 (2000) Fabio Massacci: Single Step Tableaux for Modal Logics. J. Autom. Reasoning 24 (3): 319-364 (2000) Fabio Massacci: The proof complexity of analytic and clausal tableaux. Theor. Comput. Sci. 243 (1-2): 477-487 (2000) Fabio Massacci: Using Walk-SAT and Rel-Sat for Cryptographic Key Search. IJCAI 1999 : 290-295 Fabio Massacci: Design and Results of the Tableaux-99 Non-classical (Modal) Systems Comparison. TABLEAUX 1999 : 14-18 Fabio Massacci: Automated Reasoning and the Verification of Security Protocols. TABLEAUX 1999 : 32-33 Fabio Massacci: Anytime Approximate Modal Reasoning. AAAI/IAAI 1998 : 274-279 Fabio Massacci: Cook and Reckhow are Wrong: Subexponential Tableaux Proofs for Their Family of Formulae. ECAI 1998 : 408-409 Fabio Massacci: Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux. TABLEAUX 1998 : 217-231 Fabio Massacci: Tableau Methods for Formal Verification of Multi-Agent Distributed Systems. J. Log. Comput. 8 (3): 373-400 (1998) Fabio Massacci: A Proof Theory for Tractable Approximations of Propositional Reasoning. AI*IA 1997 : 219-230 Fabio Massacci: Breaking Security Protocols as an AI Planning Problem. ECP 1997 : 286-298 Fabio Massacci: Reasoning About Security: A Logic and a Decision Method for Role-Based Access Control. ECSQARU-FAPR 1997 : 421-435 Fabio Massacci: Tableaux Methods for Access Control in Distributed Systems. TABLEAUX 1997 : 246-260 Fabio Massacci: Contextual Reasoning Is NP-Complete. AAAI/IAAI, Vol. 1 1996 : 621-626 Giuseppe De Giacomo , Fabio Massacci: Tableaux and Algorithms for Propositional Dynamic Logic with Converse. CADE 1996 : 613-627 Giuseppe De Giacomo , Francesco M. Donini , Fabio Massacci: Exptime Tableaux for ALC. Description Logics 1996 : 107-110 Fabio Massacci: Approximate Reasoning for Contextual Databases. ICTAI 1996 : 308-315 Francesco M. Donini , Fabio Massacci, Daniele Nardi , Riccardo Rosati : A Uniform Tableaux Method for Nonmonotonic Modal Logics. JELIA 1996 : 87-103 Fabio Massacci: Strongly Analytic Tableaux for Normal Modal Logics. CADE 1994 : 723-737 1 [ 29 ] [ 30 ] [ 31 ] [ 35 ] 2 [ 28 ] 3 [ 25 ] [ 27 ] [ 36 ] [ 43 ] 4 [ 32 ] 5 [ 2 ] [ 4 ] [ 23 ] [ 24 ] [ 34 ] 6 [ 32 ] 7 [ 37 ] 8 [ 32 ] 9 [ 4 ] [ 5 ] [ 21 ] 10 [ 38 ] [ 39 ] [ 42 ] [ 44 ] [ 46 ] 11 [ 32 ] 12 [ 22 ] 13 [ 40 ] [ 41 ] [ 45 ] 14 [ 34 ] 15 [ 32 ] 16 [ 20 ] 17 [ 37 ] 18 [ 38 ] [ 39 ] [ 42 ] [ 44 ] [ 46 ] 19 [ 2 ] 20 [ 22 ] 21 [ 25 ] [ 27 ] [ 36 ] [ 43 ] 22 [ 2 ] 23 [ 34 ] 24 [ 44 ] 25 [ 25 ] [ 27 ] 26 [ 39 ] [ 42 ] [ 44 ] [ 46 ] ©2005 Association for Computing Machinery