dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Fabio Massacci Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViet Hung Nguyen, Fabio Massacci: An Idea of an Independent Validation of Vulnerability Discovery Models. ESSoS 2012: 89-96
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederica Paci, Fabio Massacci, Fabrice Bouquet, Stephane Debricon: Managing Evolution by Orchestrating Requirements and Testing Engineering Processes. ICST 2012: 834-841
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViet Hung Nguyen, Fabio Massacci: An Independent Validation of Vulnerability Discovery Models CoRR abs/1203.5830: (2012)
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNataliia Bielova, Fabio Massacci: Iterative enforcement by suppression: Towards practical enforcement theories. Journal of Computer Security 20(1): 51-79 (2012)
2011
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLe Minh Sang Tran, Fabio Massacci: Dealing with Known Unknowns: Towards a Game-Theoretic Foundation for Software Requirement Evolution. CAiSE 2011: 62-76
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGábor Bergmann, Fabio Massacci, Federica Paci, Thein Than Tun, Dániel Varró, Yijun Yu: A Tool for Managing Evolving Security Requirements. CAiSE Forum 2011: 49-56
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGábor Bergmann, Fabio Massacci, Federica Paci, Thein Than Tun, Dániel Varró, Yijun Yu: A Tool for Managing Evolving Security Requirements. CAiSE Forum (Selected Papers) 2011: 110-125
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, John Mylopoulos, Federica Paci, Thein Than Tun, Yijun Yu: An Extended Ontology for Security Requirements. CAiSE Workshops 2011: 622-636
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYudistira Asnar, Tong Li, Fabio Massacci, Federica Paci: Computer Aided Threat Identification. CEC 2011: 145-152
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Stephan Neuhaus, Viet Hung Nguyen: After-Life Vulnerabilities: A Study on Firefox Evolution, Its Vulnerabilities, and Fixes. ESSoS 2011: 195-208
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNataliia Bielova, Fabio Massacci: Predictability of Enforcement. ESSoS 2011: 73-86
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYudistira Asnar, Fabio Massacci: A Method for Security Governance, Risk, and Compliance (GRC): A Goal-Process Approach. FOSAD 2011: 152-184
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWouter Joosen, Javier Lopez, Fabio Martinelli, Fabio Massacci: Engineering Secure Future Internet Services. Future Internet Assembly 2011: 177-192
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlga Gadyatskaya, Eduardo Lostal, Fabio Massacci: Load Time Security Verification. ICISS 2011: 250-264
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNataliia Bielova, Dominique Devriese, Fabio Massacci, Frank Piessens: Reactive non-interference for a browser model. NSS 2011: 97-104
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Dragoni, Eduardo Lostal, Olga Gadyatskaya, Fabio Massacci, Federica Paci: A Load Time Policy Checker for Open Multi-application Smart Cards. POLICY 2011: 153-156
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNataliia Bielova, Fabio Massacci: Computer-Aided Generation of Enforcement Mechanisms for Error-Tolerant Policies. POLICY 2011: 89-96
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Fabrice Bouquet, Elizabeta Fourneret, Jan Jürjens, Mass S. Lund, Sébastien Madelénat, JanTobias Muehlberg, Federica Paci, Stéphane Paul, Frank Piessens, Bjornar Solhaug, Sven Wenzel: Orchestrating Security and System Engineering for Evolving Systems - (Invited Paper). ServiceWave 2011: 134-143
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGábor Bergmann, Fabio Massacci, Federica Paci, Thein Than Tun, Dániel Varró, Yijun Yu: SeCMER: A Tool to Gain Control of Security Requirements Evolution. ServiceWave 2011: 321-322
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYudistira Asnar, Fabio Massacci, Ayda Saïdane, Carlo Riccucci, Massimo Felici, Alessandra Tedeschi, Paul El Khoury, Keqin Li, Magali Seguran, Nicola Zannone: Organizational Patterns for Security and Dependability: From Design to Application. IJSSE 2(3): 1-22 (2011)
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNataliia Bielova, Fabio Massacci: Do you really mean what you actually enforced? - Edited automata revisited. Int. J. Inf. Sec. 10(4): 239-254 (2011)
2010
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Dan S. Wallach, Nicola Zannone: Engineering Secure Software and Systems, Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings Springer 2010
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriele Costa, Nicola Dragoni, Aliaksandr Lazouski, Fabio Martinelli, Fabio Massacci, Ilaria Matteucci: Extending Security-by-Contract with Quantitative Trust on Mobile Devices. CISIS 2010: 872-877
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Infringo ergo sum: when will software engineering support infringements? FoSER 2010: 233-238
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Neuhaus, Fabio Massacci: Towards Security Climate Forecasts. Future Internet Assembly 2010: 41-50
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Scandariato, Fabio Massacci: SecureChange: Security Engineering for Lifelong Evolvable Systems. ISoLA (2) 2010: 9-12
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlga Gadyatskaya, Fabio Massacci, Federica Paci, Sergey Stankevich: Java Card Architecture for Autonomous Yet Secure Evolution of Smart Cards Applications. NordSec 2010: 187-192
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Dragoni, Olga Gadyatskaya, Fabio Massacci: Can We Support Applications' Evolution in Multi-application Smart Cards by Security-by-Contract? WISTP 2010: 221-228
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, John Mylopoulos, Nicola Zannone: Security Requirements Engineering: The SI* Modeling Language and the Secure Tropos Methodology. Advances in Intelligent Information Systems 2010: 147-174
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Karsai, Fabio Massacci, Leon J. Osterweil, Ina Schieferdecker: Evolving Embedded Systems. IEEE Computer 43(5): 34-40 (2010)
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Camenisch, Javier Lopez, Fabio Massacci, Massimo Ciscato, Thomas Skordas: JCS special issue on EU-funded ICT research on Trust and Security. Journal of Computer Security 18(1): 1-5 (2010)
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Compagna, Paul El Khoury, Fabio Massacci, Ayda Saïdane: A Dynamic Security Framework for Ambient Intelligent Systems: A Smart-Home Based eHealth Application. Transactions on Computational Science 10: 1-24 (2010)
2009
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Samuel T. Redwine Jr., Nicola Zannone: Engineering Secure Software and Systems, First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings Springer 2009
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Gene Tsudik, Artsiom Yautsiukhin: Logging key assurance indicators in business processes. ASIACCS 2009: 364-367
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Ida Siahaan, Dries Vanoverberghe: A Security Architecture for Web 2.0 Applications. Future Internet Assembly 2009: 35-46
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlzbeta Krausová, Fabio Massacci, Ayda Saïdane: How to capture and use legal patterns in IT. ICAIL 2009: 228-229
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Marino, Fabio Massacci, Andrea Micheletti, Nataliya Rassadko, Stephan Neuhaus: Satisfaction of Control Objectives by Control Processes. ICSOC/ServiceWave 2009: 531-545
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNataliia Bielova, Fabio Massacci, Andrea Micheletti: Towards Practical Enforcement Theories. NordSec 2009: 239-254
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Compagna, Paul El Khoury, Alzbeta Krausová, Fabio Massacci, Nicola Zannone: How to integrate legal requirements into a requirements engineering methodology for the development of security and privacy patterns. Artif. Intell. Law 17(1): 1-30 (2009)
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Dragoni, Fabio Massacci, Ayda Saïdane: A self-protecting and self-healing framework for negotiating services and trust in autonomic communication systems. Computer Networks 53(10): 1628-1648 (2009)
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Dragoni, Fabio Massacci, Thomas Walter, Christian Schaefer: What the heck is this application doing? - A security-by-contract architecture for pervasive services. Computers & Security 28(7): 566-577 (2009)
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Dries Vanoverberghe: The S3MS.NET Run Time Monitor: Tool Demonstration. Electr. Notes Theor. Comput. Sci. 253(5): 153-159 (2009)
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriel M. Kuper, Fabio Massacci, Nataliya Rassadko: Generalized XML security views. Int. J. Inf. Sec. 8(3): 173-203 (2009)
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNataliia Bielova, Nicola Dragoni, Fabio Massacci, Katsiaryna Naliuka, Ida Siahaan: Matching in security-by-contract for mobile code. J. Log. Algebr. Program. 78(5): 340-358 (2009)
2008
98no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAkshai Aggarwal, Mohamad Badra, Fabio Massacci: NTMS 2008, 2nd International Conference on New Technologies, Mobility and Security, November 5-7, 2008, Tangier, Morocco IEEE 2008
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Katsiaryna Naliuka: Towards Practical Security Monitors of UML Policies for Mobile Applications. ARES 2008: 1112-1119
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Frank Piessens, Ida Siahaan: Security-By-Contract for the Future Internet. FIS 2008: 29-43
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNataliia Bielova, Fabio Massacci: Do You Really Mean What You Actually Enforced?. Formal Aspects in Security and Trust 2008: 287-301
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Nicola Zannone: A Model-Driven Approach for the Specification and Analysis of Access Control Policies. OTM Conferences (2) 2008: 1087-1103
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Ida Siahaan: Simulating midlet's security claims with automata modulo theory. PLAS 2008: 1-9
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAzzedine Benameur, Fabio Massacci, Nataliya Rassadko: Security views for outsourced business processes. SWS 2008: 45-52
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Martinelli, Fabio Massacci, Paolo Mori, Christian Schaefer, Thomas Walter: Enhancing Java ME Security Support with Resource Usage Monitoring. ERCIM News 2008(75): (2008)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Frank Piessens: Preface. Electr. Notes Theor. Comput. Sci. 197(1): 1-2 (2008)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Compagna, Volkmar Lotz, Fabio Massacci: Preface. Electr. Notes Theor. Comput. Sci. 197(2): 1-2 (2008)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Frank Piessens, Sjouke Mauw: Preface. Sci. Comput. Program. 74(1-2): 1 (2008)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHristo Koshutanski, Fabio Massacci: Interactive access control for autonomic systems: From theory to implementation. TAAS 3(3): (2008)
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolkmar Lotz, Emmanuel Pigout, Peter M. Fischer, Donald Kossmann, Fabio Massacci, Alexander Pretschner: Towards Systematic Achievement of Compliance in Service-Oriented Architectures: The MASTER Approach. Wirtschaftsinformatik 50(5): 383-391 (2008)
2007
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYudistira Asnar, Paolo Giorgini, Fabio Massacci, Nicola Zannone: From Trust to Dependability through Risk Analysis. ARES 2007: 19-26
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Dries Vanoverberghe: A flexible security architecture to support third-party applications on mobile devices. CSAW 2007: 19-28
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Dragoni, Fabio Massacci, Katsiaryna Naliuka, Ida Siahaan: Security-by-Contract: Toward a Semantics for Digital Signatures on Mobile Code. EuroPKI 2007: 297-312
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Artsiom Yautsiukhin: Modelling Quality of Protection in Outsourced Business Processes. IAS 2007: 247-252
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Compagna, Paul El Khoury, Fabio Massacci, Reshma Thomas, Nicola Zannone: How to capture, model, and verify the knowledge of legal, security, and privacy experts: a pattern-based approach. ICAIL 2007: 149-153
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHugo A. López, Fabio Massacci, Nicola Zannone: Goal-Equivalent Secure Business Process Re-engineering. ICSOC Workshops 2007: 212-223
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Katsiaryna Naliuka: Towards Practical Security Monitors of UML Policies for Mobile Applications. POLICY 2007: 278
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Artsiom Yautsiukhin: An algorithm for the appraisal of assurance indicators for complex business processes. QoP 2007: 22-27
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Dragoni, Fabio Massacci: Security-by-contract for web services. SWS 2007: 90-98
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Fabio Massacci, Artsiom Yautsiukhin: The Meaning of Logs. TrustBus 2007: 145-154
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Pretschner, Fabio Massacci, Manuel Hilty: Usage Control in Service-Oriented Architectures. TrustBus 2007: 83-93
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, John Mylopoulos, Nicola Zannone: Computer-aided Support for Secure Tropos. Autom. Softw. Eng. 14(3): 341-364 (2007)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYücel Karabulut, Florian Kerschbaum, Fabio Massacci, Philip Robinson, Artsiom Yautsiukhin: Security and Trust in IT Business Outsourcing: a Manifesto. Electr. Notes Theor. Comput. Sci. 179: 47-58 (2007)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, John Mylopoulos, Nicola Zannone: From Hippocratic Databases to Secure Tropos: a Computer-Aided Re-Engineering Approach. International Journal of Software Engineering and Knowledge Engineering 17(2): 265-284 (2007)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHristo Koshutanski, Fabio Massacci: A Negotiation Scheme for Access Rights Establishment in Autonomic Communication. J. Network Syst. Manage. 15(1): 117-136 (2007)
2006
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGünter Karjoth, Fabio Massacci: Proceedings of the 2nd ACM Workshop on Quality of Protection, QoP 2006, Alexandria, VA, USA, October 30, 2006 ACM 2006
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDieter Gollmann, Fabio Massacci, Artsiom Yautsiukhin: Quality of Protection - Security Measurements and Metrics Springer 2006
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKetil Stølen, William H. Winsborough, Fabio Martinelli, Fabio Massacci: Trust Management, 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings Springer 2006
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolha Bryl, Fabio Massacci, John Mylopoulos, Nicola Zannone: Designing Security Requirements Models Through Planning. CAiSE 2006: 33-47
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone: Detecting Conflicts of Interest. RE 2006: 308-311
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone: Requirements engineering for trust management: model, methodology, and reasoning. Int. J. Inf. Sec. 5(4): 257-274 (2006)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiampaolo Bella, Fabio Massacci, Lawrence C. Paulson: Verifying the SET Purchase Protocols. J. Autom. Reasoning 36(1-2): 5-37 (2006)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Dobson, Spyros G. Denazis, Antonio Fernández, Dominique Gaïti, Erol Gelenbe, Fabio Massacci, Paddy Nixon, Fabrice Saffre, Nikita Schmidt, Franco Zambonelli: A survey of autonomic communications. TAAS 1(2): 223-259 (2006)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, John Mylopoulos, Nicola Zannone: Hierarchical hippocratic databases with minimal disclosure for virtual organizations. VLDB J. 15(4): 370-387 (2006)
2005
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, John Mylopoulos, Nicola Zannone: Minimal Disclosure in Hierarchical Hippocratic Databases with Delegation. ESORICS 2005: 438-454
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Giorgini, Fabio Massacci, Nicola Zannone: Security and Trust Requirements Engineering. FOSAD 2005: 237-272
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone: Modeling Security Requirements Through Ownership, Permission and Delegation. RE 2005: 167-176
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone: ST-Tool: A CASE Tool for Security Requirements Engineering. RE 2005: 451-452
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriel M. Kuper, Fabio Massacci, Nataliya Rassadko: Generalized XML security views. SACMAT 2005: 77-84
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Zannone, Sushil Jajodia, Fabio Massacci, Duminda Wijesekera: Maintaining privacy on derived objects. WPES 2005: 10-19
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone: Modeling Social and Individual Trust in Requirements Engineering Methodologies. iTrust 2005: 161-176
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHristo Koshutanski, Fabio Massacci: Interactive Credential Negotiation for Stateful Business Processes. iTrust 2005: 256-272
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Giorgini, Fabio Massacci, John Mylopoulos, Alberto Siena, Nicola Zannone: ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements. iTrust 2005: 415-419
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Marco Prest, Nicola Zannone: Using a security requirements engineering methodology in practice: The compliance with the Italian data protection legislation. Computer Standards & Interfaces 27(5): 445-455 (2005)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexey Gotsman, Fabio Massacci, Marco Pistore: Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language. Electr. Notes Theor. Comput. Sci. 135(1): 59-77 (2005)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiampaolo Bella, Fabio Massacci, Lawrence C. Paulson: An overview of the verification of SET. Int. J. Inf. Sec. 4(1-2): 17-28 (2005)
2004
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone: Filling the Gap between Requirements Engineering and Public Key/Trust Management Infrastructures. EuroPKI 2004: 98-111
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHristo Koshutanski, Fabio Massacci: An Interactive Trust Management and Negotiation Scheme. Formal Aspects in Security and Trust 2004: 115-128
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHristo Koshutanski, Fabio Massacci: A System for Interactive Authorization for Business Processes for Web Services. ICWE 2004: 521-525
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHristo Koshutanski, Fabio Massacci: Interactive Access Control for Web Services. SEC 2004: 151-166
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Nicola Zannone: Privacy Is Linking Permission to Purpose. Security Protocols Workshop 2004: 179-191
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Privacy is Linking Permission to Purpose (Transcript of Discussion). Security Protocols Workshop 2004: 192-198
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHristo Koshutanski, Fabio Massacci: E Pluribus Unum. WAC 2004: 179-190
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone: Requirements Engineering Meets Trust Management: Model, Methodology, and Reasoning. iTrust 2004: 176-190
2003
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo 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
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiampaolo Bella, Stefano Bistarelli, Fabio Massacci: A Protocol's Life After Attacks.... Security Protocols Workshop 2003: 3-10
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHristo Koshutanski, Fabio Massacci: An access control framework for business processes for web services. XML Security 2003: 15-24
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia 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)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiampaolo Bella, Fabio Massacci, Lawrence C. Paulson: Verifying the SET registration protocols. IEEE Journal on Selected Areas in Communications 21(1): 77-87 (2003)
2002
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiampaolo 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
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigia Carlucci Aiello, Fabio Massacci: Planning Attacks to Security Protocols: Case Studies in Logic Programming. Computational Logic: Logic Programming and Beyond 2002: 533-560
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Paolo Liberatore, Fabio Massacci, Marco Schaerf: Solving QBF by SMV. KR 2002: 578-592
2001
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Decision Procedures for Expressive Description Logics with Intersection, Composition, Converse of Roles and Role Identity. IJCAI 2001: 193-198
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis 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
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigia Carlucci Aiello, Fabio Massacci: Verifying security protocols as planning in logic programming. ACM Trans. Comput. Log. 2(4): 542-580 (2001)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigia Carlucci Aiello, Fabio Massacci: Attacking fair-exchange protocols: parallel models vs trace models. Electr. Notes Theor. Comput. Sci. 55(1): 51-68 (2001)
2000
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigia Carlucci Aiello, Fabio Massacci: An Executable Specification Language for Planning Attacks to Security Protocols. CSFW 2000: 88-102
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Fabio Massacci: The Taming of the (X)OR. Computational Logic 2000: 508-522
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano: Formal Verification of Cardholder Registration in SET. ESORICS 2000: 159-174
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Reduction rules and universal variables for first order tableaux and DPLL. KR 2000: 186-197
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano: Making Sense of Specifications: The Formalization of SET. Security Protocols Workshop 2000: 74-81
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Francesco M. Donini: Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison. TABLEAUX 2000: 52-56
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Fabio Massacci: EXPTIME tableaux for ALC. Artif. Intell. 124(1): 87-138 (2000)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarit Hietalahti, Fabio Massacci, Ilkka Niemelä: DES: a Challenge Problem for Nonmonotonic Reasoning Systems CoRR cs.AI/0003039: (2000)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Fabio Massacci: Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL. Inf. Comput. 162(1-2): 117-137 (2000)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Laura Marraro: Logical Cryptanalysis as a SAT Problem. J. Autom. Reasoning 24(1/2): 165-203 (2000)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Single Step Tableaux for Modal Logics. J. Autom. Reasoning 24(3): 319-364 (2000)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: The proof complexity of analytic and clausal tableaux. Theor. Comput. Sci. 243(1-2): 477-487 (2000)
1999
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Using Walk-SAT and Rel-Sat for Cryptographic Key Search. IJCAI 1999: 290-295
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Design and Results of the Tableaux-99 Non-classical (Modal) Systems Comparison. TABLEAUX 1999: 14-18
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Automated Reasoning and the Verification of Security Protocols. TABLEAUX 1999: 32-33
1998
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Anytime Approximate Modal Reasoning. AAAI/IAAI 1998: 274-279
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Cook and Reckhow are Wrong: Subexponential Tableaux Proofs for Their Family of Formulae. ECAI 1998: 408-409
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux. TABLEAUX 1998: 217-231
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Tableau Methods for Formal Verification of Multi-Agent Distributed Systems. J. Log. Comput. 8(3): 373-400 (1998)
1997
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: A Proof Theory for Tractable Approximations of Propositional Reasoning. AI*IA 1997: 219-230
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Breaking Security Protocols as an AI Planning Problem. ECP 1997: 286-298
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Reasoning About Security: A Logic and a Decision Method for Role-Based Access Control. ECSQARU-FAPR 1997: 421-435
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Tableaux Methods for Access Control in Distributed Systems. TABLEAUX 1997: 246-260
1996
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Contextual Reasoning Is NP-Complete. AAAI/IAAI, Vol. 1 1996: 621-626
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Fabio Massacci: Tableaux and Algorithms for Propositional Dynamic Logic with Converse. CADE 1996: 613-627
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Francesco M. Donini, Fabio Massacci: Exptime Tableaux for ALC. Description Logics 1996: 107-110
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Approximate Reasoning for Contextual Databases. ICTAI 1996: 308-315
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati: A Uniform Tableaux Method for Nonmonotonic Modal Logics. JELIA 1996: 87-103
1994
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci: Strongly Analytic Tableaux for Normal Modal Logics. CADE 1994: 723-737

Coauthor Index

1Akshai Aggarwal [98]
2Luigia Carlucci Aiello (Luigia Aiello) [29] [30] [31] [35]
3Yudistira Asnar [85] [123] [131] [134]
4Mohamad Badra [98]
5Peter Baumgartner [28]
6Giampaolo Bella [25] [27] [36] [37] [40] [50] [64]
7Azzedine Benameur [92]
8Gábor Bergmann [124] [136] [137]
9Nataliia Bielova [95] [99] [105] [122] [126] [128] [132] [139]
10Stefano Bistarelli [40]
11Fabrice Bouquet [125] [141]
12Volha Bryl [67]
13Jan Camenisch [112]
14Luis Fariñas del Cerro [32]
15Massimo Ciscato [112]
16Luca Compagna [81] [89] [104] [111]
17Gabriele Costa [120]
18Stephane Debricon [141]
19Spyros G. Denazis [63]
20Lieven Desmet [84] [101] [108]
21Dominique Devriese [128]
22Simon A. Dobson (Simon Dobson) [63]
23Francesco M. Donini [2] [4] [23] [24] [34]
24Nicola Dragoni [77] [83] [99] [102] [103] [115] [120] [127]
25Sandro Etalle [76]
26David Fauthoux [32]
27Massimo Felici [123]
28Antonio Fernández (Antonio Fernández Anta) [63]
29Claudia Fiorini [38]
30Peter M. Fischer [86]
31Elizabeta Fourneret [125]
32Olga Gadyatskaya [115] [116] [127] [129]
33Dominique Gaïti [63]
34Olivier Gasquet [32]
35Erol Gelenbe [63]
36Giuseppe De Giacomo [4] [5] [21]
37Paolo Giorgini [41] [42] [49] [53] [55] [58] [59] [60] [65] [66] [85]
38Dieter Gollmann [69]
39Alexey Gotsman [51]
40Andreas Herzig [32]
41Maarit Hietalahti [22]
42Manuel Hilty [75]
43Sushil Jajodia [56]
44Wouter Joosen [84] [101] [108] [130]
45Jan Jürjens [125]
46Yücel Karabulut [73]
47Günter Karjoth [70]
48Gabor Karsai [113]
49Florian Kerschbaum [73]
50Paul El Khoury [81] [104] [111] [123]
51Hristo Koshutanski [39] [43] [46] [47] [48] [54] [71] [87]
52Donald Kossmann [86]
53Alzbeta Krausová [104] [107]
54Gabriel M. Kuper [57] [100]
55Aliaksandr Lazouski [120]
56Tong Li [134]
57Keqin Li [123]
58Paolo Liberatore [34]
59Dominique Longin [32]
60Hugo A. López [80]
61Javier Lopez [112] [130]
62Eduardo Lostal [127] [129]
63Volkmar Lotz [86] [89]
64Mass S. Lund [125]
65Sébastien Madelénat [125]
66Daniela Marino [106]
67Laura Marraro [20]
68Enrico Martinelli [38]
69Fabio Martinelli [68] [91] [120] [130]
70Ilaria Matteucci [120]
71Sjouke Mauw [88]
72Andrea Micheletti [105] [106]
73Paolo Mori [91]
74JanTobias Muehlberg [125]
75John Mylopoulos [41] [42] [49] [53] [55] [58] [59] [61] [62] [65] [66] [67] [72] [74] [114] [135]
76Katsiaryna Naliuka [79] [83] [84] [97] [99] [101] [108]
77Daniele Nardi [2]
78Stephan Neuhaus [106] [118] [133]
79Viet Hung Nguyen [133] [140] [142]
80Ilkka Niemelä [22]
81Paddy Nixon (Patrick Nixon) [63]
82Leon J. Osterweil [113]
83Federica Paci [116] [124] [125] [127] [134] [135] [136] [137] [141]
84Stéphane Paul [125]
85Lawrence C. Paulson [25] [27] [36] [37] [50] [64]
86Pieter Philippaerts [84] [101] [108]
87Frank Piessens [84] [88] [90] [96] [101] [108] [125] [128]
88Emmanuel Pigout [86]
89Marco Pistore [51]
90Marco Prest [52]
91Alexander Pretschner [75] [86]
92Nataliya Rassadko [57] [92] [100] [106]
93Samuel T. Redwine Jr. [110]
94Carlo Riccucci [123]
95Philip Robinson [73]
96Riccardo Rosati [2]
97Fabrice Saffre [63]
98Ayda Saïdane [103] [107] [111] [123]
99Riccardo Scandariato [117]
100Christian Schaefer [91] [102]
101Marco Schaerf [34]
102Ina Schieferdecker [113]
103Nikita Schmidt [63]
104Magali Seguran [123]
105Ida Siahaan [83] [93] [96] [99] [108]
106Alberto Siena [53]
107Thomas Skordas [112]
108Bjornar Solhaug [125]
109Sergey Stankevich [116]
110Ketil Stølen [68]
111Alessandra Tedeschi [123]
112Reshma Thomas [81]
113Piero Tramontano [25] [27]
114Le Minh Sang Tran [138]
115Gene Tsudik [109]
116Thein Than Tun [124] [135] [136] [137]
117Dries Vanoverberghe [84] [101] [108]
118Dániel Varró [124] [136] [137]
119Dan S. Wallach [121]
120Thomas Walter [91] [102]
121Sven Wenzel [125]
122Duminda Wijesekera [56]
123William H. Winsborough [68]
124Artsiom Yautsiukhin [69] [73] [76] [78] [82] [109]
125Yijun Yu [124] [135] [136] [137]
126Franco Zambonelli [63]
127Nicola Zannone [42] [45] [49] [52] [53] [55] [56] [58] [59] [60] [61] [62] [65] [66] [67] [72] [74] [80] [81] [85] [94] [104] [110] [114] [121] [123]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page