Search results for "Fabio Massacci"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Nataliia Bielova, Fabio Massacci	Iterative enforcement by suppression: Towards practical enforcement theories.	Journal of Computer Security	2012	DBLP DOI BibTeX RDF
1	Viet Hung Nguyen, Fabio Massacci	An Independent Validation of Vulnerability Discovery Models	CoRR	2012	DBLP BibTeX RDF
1	Viet Hung Nguyen, Fabio Massacci	An Idea of an Independent Validation of Vulnerability Discovery Models.	ESSoS	2012	DBLP DOI BibTeX RDF
1	Nataliia Bielova, Fabio Massacci	Do you really mean what you actually enforced? - Edited automata revisited.	Int. J. Inf. Sec.	2011	DBLP DOI BibTeX RDF
1	Yudistira Asnar, Fabio Massacci, Ayda Saïdane, Carlo Riccucci, Massimo Felici, Alessandra Tedeschi, Paul El Khoury, Keqin Li 0002, Magali Seguran, Nicola Zannone	Organizational Patterns for Security and Dependability: From Design to Application.	IJSSE	2011	DBLP DOI BibTeX RDF
1	Nicola Dragoni, Eduardo Lostal, Olga Gadyatskaya, Fabio Massacci, Federica Paci	A Load Time Policy Checker for Open Multi-application Smart Cards.	POLICY	2011	DBLP DOI BibTeX RDF	Smart cards security, application certification, information exchange, policy models
1	Nataliia Bielova, Fabio Massacci	Computer-Aided Generation of Enforcement Mechanisms for Error-Tolerant Policies.	POLICY	2011	DBLP DOI BibTeX RDF	automated policy generation, security, error correction, e-health
1	Gá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	DBLP DOI BibTeX RDF
1	Fabio 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	DBLP DOI BibTeX RDF
1	Gá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	DBLP DOI BibTeX RDF
1	Le Minh Sang Tran, Fabio Massacci	Dealing with Known Unknowns: Towards a Game-Theoretic Foundation for Software Requirement Evolution.	CAiSE	2011	DBLP DOI BibTeX RDF
1	Gábor Bergmann, Fabio Massacci, Federica Paci, Thein Than Tun, Dániel Varró, Yijun Yu	A Tool for Managing Evolving Security Requirements.	CAiSE Forum	2011	DBLP BibTeX RDF
1	Fabio Massacci, John Mylopoulos, Federica Paci, Thein Than Tun, Yijun Yu	An Extended Ontology for Security Requirements.	CAiSE Workshops	2011	DBLP DOI BibTeX RDF
1	Yudistira Asnar, Fabio Massacci	A Method for Security Governance, Risk, and Compliance (GRC): A Goal-Process Approach.	FOSAD	2011	DBLP DOI BibTeX RDF
1	Olga Gadyatskaya, Eduardo Lostal, Fabio Massacci	Load Time Security Verification.	ICISS	2011	DBLP DOI BibTeX RDF
1	Nataliia Bielova, Dominique Devriese, Fabio Massacci, Frank Piessens	Reactive non-interference for a browser model.	NSS	2011	DBLP DOI BibTeX RDF
1	Yudistira Asnar, Tong Li, Fabio Massacci, Federica Paci	Computer Aided Threat Identification.	CEC	2011	DBLP DOI BibTeX RDF
1	Nataliia Bielova, Fabio Massacci	Predictability of Enforcement.	ESSoS	2011	DBLP DOI BibTeX RDF
1	Fabio Massacci, Stephan Neuhaus, Viet Hung Nguyen	After-Life Vulnerabilities: A Study on Firefox Evolution, Its Vulnerabilities, and Fixes.	ESSoS	2011	DBLP DOI BibTeX RDF
1	Wouter Joosen, Javier Lopez, Fabio Martinelli, Fabio Massacci	Engineering Secure Future Internet Services.	Future Internet Assembly	2011	DBLP DOI BibTeX RDF
1	Jan 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	2010	DBLP DOI BibTeX RDF
1	Luca 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	2010	DBLP DOI BibTeX RDF
1	Gabor Karsai, Fabio Massacci, Leon J. Osterweil, Ina Schieferdecker	Evolving Embedded Systems.	IEEE Computer	2010	DBLP DOI BibTeX RDF	Embedded systems, Software evolution, Systems engineering, Design and test, Critical systems
1	Fabio Massacci, John Mylopoulos, Nicola Zannone	Security Requirements Engineering: The SI* Modeling Language and the Secure Tropos Methodology.	Advances in Intelligent Information Systems	2010	DBLP DOI BibTeX RDF
1	Gabriele Costa, Nicola Dragoni, Aliaksandr Lazouski, Fabio Martinelli, Fabio Massacci, Ilaria Matteucci	Extending Security-by-Contract with Quantitative Trust on Mobile Devices.	CISIS	2010	DBLP DOI BibTeX RDF	Security, Trust
1	Nicola Dragoni, Olga Gadyatskaya, Fabio Massacci	Can We Support Applications' Evolution in Multi-application Smart Cards by Security-by-Contract?	WISTP	2010	DBLP DOI BibTeX RDF
1	Olga Gadyatskaya, Fabio Massacci, Federica Paci, Sergey Stankevich	Java Card Architecture for Autonomous Yet Secure Evolution of Smart Cards Applications.	NordSec	2010	DBLP DOI BibTeX RDF
1	Riccardo Scandariato, Fabio Massacci	SecureChange: Security Engineering for Lifelong Evolvable Systems.	ISoLA	2010	DBLP DOI BibTeX RDF
1	Fabio Massacci	Infringo ergo sum: when will software engineering support infringements?	FoSER	2010	DBLP DOI BibTeX RDF
1	Fabio Massacci, Dan S. Wallach, Nicola Zannone (eds.)	Engineering Secure Software and Systems, Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings	ESSoS	2010	DBLP DOI BibTeX RDF
1	Stephan Neuhaus, Fabio Massacci	Towards Security Climate Forecasts.	Future Internet Assembly	2010	DBLP DOI BibTeX RDF
1	Gabriel M. Kuper, Fabio Massacci, Nataliya Rassadko	Generalized XML security views.	Int. J. Inf. Sec.	2009	DBLP DOI BibTeX RDF	Security view, Authorized view, XML, XPath, Materialization
1	Nataliia Bielova, Nicola Dragoni, Fabio Massacci, Katsiaryna Naliuka, Ida Siahaan	Matching in security-by-contract for mobile code.	J. Log. Algebr. Program.	2009	DBLP DOI BibTeX RDF
1	Lieven 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.	2009	DBLP DOI BibTeX RDF
1	Nicola Dragoni, Fabio Massacci, Ayda Saïdane	A self-protecting and self-healing framework for negotiating services and trust in autonomic communication systems.	Computer Networks	2009	DBLP DOI BibTeX RDF
1	Luca 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	2009	DBLP DOI BibTeX RDF	Security and privacy patterns, Legal requirements, Pattern validation, Healthcare, Organization
1	Nicola Dragoni, Fabio Massacci, Thomas Walter, Christian Schaefer	What the heck is this application doing? - A security-by-contract architecture for pervasive services.	Computers & Security	2009	DBLP DOI BibTeX RDF
1	Daniela Marino, Fabio Massacci, Andrea Micheletti, Nataliya Rassadko, Stephan Neuhaus	Satisfaction of Control Objectives by Control Processes.	ICSOC/ServiceWave	2009	DBLP DOI BibTeX RDF
1	Nataliia Bielova, Fabio Massacci, Andrea Micheletti	Towards Practical Enforcement Theories.	NordSec	2009	DBLP DOI BibTeX RDF
1	Alzbeta Krausová, Fabio Massacci, Ayda Saïdane	How to capture and use legal patterns in IT.	ICAIL	2009	DBLP DOI BibTeX RDF
1	Fabio Massacci, Samuel T. Redwine Jr., Nicola Zannone (eds.)	Engineering Secure Software and Systems, First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings	ESSoS	2009	DBLP DOI BibTeX RDF
1	Fabio Massacci, Gene Tsudik, Artsiom Yautsiukhin	Logging key assurance indicators in business processes.	ASIACCS	2009	DBLP DOI BibTeX RDF	tamper-proofed logs, auditing, logs, enterprise
1	Lieven 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	DBLP DOI BibTeX RDF
1	Fabio Massacci, Frank Piessens, Sjouke Mauw	Preface.	Sci. Comput. Program.	2008	DBLP DOI BibTeX RDF
1	Luca Compagna, Volkmar Lotz, Fabio Massacci	Preface.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Fabio Massacci, Frank Piessens	Preface.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Hristo Koshutanski, Fabio Massacci	Interactive access control for autonomic systems: From theory to implementation.	TAAS	2008	DBLP DOI BibTeX RDF	Interactive access control, nonmonotonic policy, logic programming, autonomic systems, abduction, disclosure control
1	Fabio Martinelli, Fabio Massacci, Paolo Mori, Christian Schaefer, Thomas Walter	Enhancing Java ME Security Support with Resource Usage Monitoring.	ERCIM News	2008	DBLP BibTeX RDF
1	Volkmar 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	2008	DBLP DOI BibTeX RDF	serviceorientierte Architekturen, IT-Sicherheitsmaßnahmen, Sicherheitsmetriken, Überwachung, modellbasierte Ansätze, Compliance
1	Akshai Aggarwal, Mohamad Badra, Fabio Massacci (eds.)	NTMS 2008, 2nd International Conference on New Technologies, Mobility and Security, November 5-7, 2008, Tangier, Morocco	NTMS	2008	DBLP BibTeX RDF
1	Fabio Massacci, Ida Siahaan	Simulating midlet's security claims with automata modulo theory.	PLAS	2008	DBLP DOI BibTeX RDF	security policy, automata, mobile code
1	Fabio Massacci, Nicola Zannone	A Model-Driven Approach for the Specification and Analysis of Access Control Policies.	OTM Conferences	2008	DBLP DOI BibTeX RDF	Access Control, Policy Specification, Security Requirements Engineering
1	Nataliia Bielova, Fabio Massacci	Do You Really Mean What You Actually Enforced?.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF	Formal models for security, Resource and Access Control, Validation/Analysis tools and techniques, trust and reputation
1	Fabio Massacci, Frank Piessens, Ida Siahaan	Security-By-Contract for the Future Internet.	FIS	2008	DBLP DOI BibTeX RDF
1	Fabio Massacci, Katsiaryna Naliuka	Towards Practical Security Monitors of UML Policies for Mobile Applications.	ARES	2008	DBLP DOI BibTeX RDF	runtime monitoring, policy languages, policy enforcement
1	Azzedine Benameur, Fabio Massacci, Nataliya Rassadko	Security views for outsourced business processes.	SWS	2008	DBLP DOI BibTeX RDF	security view, access control, workflow, electronic commerce, business process
1	Fabio Massacci, John Mylopoulos, Nicola Zannone	Computer-aided Support for Secure Tropos.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	CASE tools, Automated reasoning, Security requirements engineering
1	Fabio 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	2007	DBLP DOI BibTeX RDF
1	Yücel Karabulut, Florian Kerschbaum, Fabio Massacci, Philip Robinson, Artsiom Yautsiukhin	Security and Trust in IT Business Outsourcing: a Manifesto.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Hristo Koshutanski, Fabio Massacci	A Negotiation Scheme for Access Rights Establishment in Autonomic Communication.	J. Network Syst. Manage.	2007	DBLP DOI BibTeX RDF	policy based access management, algorithms, access control, protocols, trust negotiation, logic reasoning
1	Fabio Massacci, Katsiaryna Naliuka	Towards Practical Security Monitors of UML Policies for Mobile Applications.	POLICY	2007	DBLP DOI BibTeX RDF
1	Fabio Massacci, Artsiom Yautsiukhin	Modelling Quality of Protection in Outsourced Business Processes.	IAS	2007	DBLP DOI BibTeX RDF
1	Alexander Pretschner, Fabio Massacci, Manuel Hilty	Usage Control in Service-Oriented Architectures.	TrustBus	2007	DBLP DOI BibTeX RDF
1	Sandro Etalle, Fabio Massacci, Artsiom Yautsiukhin	The Meaning of Logs.	TrustBus	2007	DBLP DOI BibTeX RDF
1	Hugo A. López, Fabio Massacci, Nicola Zannone	Goal-Equivalent Secure Business Process Re-engineering.	ICSOC Workshops	2007	DBLP DOI BibTeX RDF
1	Nicola Dragoni, Fabio Massacci, Katsiaryna Naliuka, Ida Siahaan	Security-by-Contract: Toward a Semantics for Digital Signatures on Mobile Code.	EuroPKI	2007	DBLP DOI BibTeX RDF
1	Luca 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	DBLP DOI BibTeX RDF	legal requirements, pattern validation, security & privacy patterns, organization, health care
1	Yudistira Asnar, Paolo Giorgini, Fabio Massacci, Nicola Zannone	From Trust to Dependability through Risk Analysis.	ARES	2007	DBLP DOI BibTeX RDF
1	Nicola Dragoni, Fabio Massacci	Security-by-contract for web services.	SWS	2007	DBLP DOI BibTeX RDF	security-by-contract, web services, automated trust negotiation
1	Lieven 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	DBLP DOI BibTeX RDF	mobile code, security architecture
1	Fabio Massacci, Artsiom Yautsiukhin	An algorithm for the appraisal of assurance indicators for complex business processes.	QoP	2007	DBLP DOI BibTeX RDF	assurance indicator, quality of protection, security indicator, business process, hypergraphs, security metrics
1	Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone	Requirements engineering for trust management: model, methodology, and reasoning.	Int. J. Inf. Sec.	2006	DBLP DOI BibTeX RDF	Agent-oriented software, Trust models for business and organizations, Verification and validation of software, Privilege management, Requirements Engineering, Security Engineering
1	Fabio Massacci, John Mylopoulos, Nicola Zannone	Hierarchical hippocratic databases with minimal disclosure for virtual organizations.	VLDB J.	2006	DBLP DOI BibTeX RDF	Minimal disclosure, Private data management, Access control, Information security, Virtual organizations, Delegation, Privacy protection
1	Simon 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	2006	DBLP DOI BibTeX RDF	Autonomic communication
1	Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson	Verifying the SET Purchase Protocols.	J. Autom. Reasoning	2006	DBLP DOI BibTeX RDF	deductive verification, electronic commerce, security protocols, Isabelle, inductive definitions
1	Dieter Gollmann, Fabio Massacci, Artsiom Yautsiukhin (eds.)	Quality of Protection - Security Measurements and Metrics		2006	DBLP DOI BibTeX RDF
1	Ketil Stølen, William H. Winsborough, Fabio Martinelli, Fabio Massacci (eds.)	Trust Management, 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings	iTrust	2006	DBLP BibTeX RDF
1	Volha Bryl, Fabio Massacci, John Mylopoulos, Nicola Zannone	Designing Security Requirements Models Through Planning.	CAiSE	2006	DBLP DOI BibTeX RDF
1	Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone	Detecting Conflicts of Interest.	RE	2006	DBLP DOI BibTeX RDF
1	Günter Karjoth, Fabio Massacci (eds.)	Proceedings of the 2nd ACM Workshop on Quality of Protection, QoP 2006, Alexandria, VA, USA, October 30, 2006	QoP	2006	DBLP BibTeX RDF
1	Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson	An overview of the verification of SET.	Int. J. Inf. Sec.	2005	DBLP DOI BibTeX RDF	Secure Electronic Transactions (SET), Formal verification, Computer security, Network protocols, Automated reasoning
1	Alexey Gotsman, Fabio Massacci, Marco Pistore	Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Fabio Massacci, Marco Prest, Nicola Zannone	Using a security requirements engineering methodology in practice: The compliance with the Italian data protection legislation.	Computer Standards & Interfaces	2005	DBLP DOI BibTeX RDF
1	Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone	Modeling Social and Individual Trust in Requirements Engineering Methodologies.	iTrust	2005	DBLP DOI BibTeX RDF
1	Hristo Koshutanski, Fabio Massacci	Interactive Credential Negotiation for Stateful Business Processes.	iTrust	2005	DBLP DOI BibTeX RDF
1	Paolo Giorgini, Fabio Massacci, John Mylopoulos, Alberto Siena, Nicola Zannone	ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements.	iTrust	2005	DBLP DOI BibTeX RDF
1	Paolo Giorgini, Fabio Massacci, Nicola Zannone	Security and Trust Requirements Engineering.	FOSAD	2005	DBLP DOI BibTeX RDF
1	Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone	Modeling Security Requirements Through Ownership, Permission and Delegation.	RE	2005	DBLP DOI BibTeX RDF
1	Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone	ST-Tool: A CASE Tool for Security Requirements Engineering.	RE	2005	DBLP DOI BibTeX RDF
1	Nicola Zannone, Sushil Jajodia, Fabio Massacci, Duminda Wijesekera	Maintaining privacy on derived objects.	WPES	2005	DBLP DOI BibTeX RDF	access control, information flow, data protection
1	Gabriel M. Kuper, Fabio Massacci, Nataliya Rassadko	Generalized XML security views.	SACMAT	2005	DBLP DOI BibTeX RDF	XPath, XML views, XML access control
1	Fabio Massacci, John Mylopoulos, Nicola Zannone	Minimal Disclosure in Hierarchical Hippocratic Databases with Delegation.	ESORICS	2005	DBLP DOI BibTeX RDF
1	Hristo Koshutanski, Fabio Massacci	Interactive Access Control for Web Services.	SEC	2004	DBLP BibTeX RDF
1	Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone	Requirements Engineering Meets Trust Management: Model, Methodology, and Reasoning.	iTrust	2004	DBLP DOI BibTeX RDF
1	Hristo Koshutanski, Fabio Massacci	A System for Interactive Authorization for Business Processes for Web Services.	ICWE	2004	DBLP DOI BibTeX RDF
1	Hristo Koshutanski, Fabio Massacci	An Interactive Trust Management and Negotiation Scheme.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF	Interactive Trust Management, Interactive Access Control, Credential-Based Systems, Logics for Access Control, Trust Management, Internet Computing, Trust Negotiation
1	Hristo Koshutanski, Fabio Massacci	E Pluribus Unum.	WAC	2004	DBLP DOI BibTeX RDF
1	Fabio Massacci	Privacy is Linking Permission to Purpose (Transcript of Discussion).	Security Protocols Workshop	2004	DBLP DOI BibTeX RDF
1	Fabio Massacci, Nicola Zannone	Privacy Is Linking Permission to Purpose.	Security Protocols Workshop	2004	DBLP DOI BibTeX RDF
1	Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone	Filling the Gap between Requirements Engineering and Public Key/Trust Management Infrastructures.	EuroPKI	2004	DBLP DOI BibTeX RDF

Publications of "Fabio Massacci" ( http://dblp.L3S.de/Authors/Fabio_Massacci )