Search results for "Ilaria Matteucci"

Found 18 publication records. Showing 18 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Gabriele Costa, Ilaria Matteucci	Gate automata-driven run-time enforcement.	Computers & Mathematics with Applications	2012	DBLP DOI BibTeX RDF
1	Gabriele Costa, Ilaria Matteucci	Trust-Driven Policy Enforcement through Gate Automata.	IMIS	2011	DBLP DOI BibTeX RDF
1	Gabriele Costa, Ilaria Matteucci	Elective temporal logic.	QoSA/ISARCS	2011	DBLP DOI BibTeX RDF
1	Gabriele Costa, Valérie Issarny, Fabio Martinelli, Ilaria Matteucci, Rachid Saadi	Security and Trust.	SFM	2011	DBLP DOI BibTeX RDF
1	Ilaria Matteucci, Marinella Petrocchi, Marco Luca Sbodio, Luca Wiegand	A Design Phase for Data Sharing Agreements.	DPM/SETOP	2011	DBLP DOI BibTeX RDF
1	Ilaria Matteucci, Marinella Petrocchi, Marco Luca Sbodio	CNL4DSA: a controlled natural language for data sharing agreements.	SAC	2010	DBLP DOI BibTeX RDF	DSA analysis, DSA authoring, data sharing agreements, privacy policy, controlled natural language
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	Roberto Gorrieri, Fabio Martinelli, Ilaria Matteucci	Towards Information Flow Properties for Distributed Systems.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Fabio Martinelli, Ilaria Matteucci	Idea: Action Refinement for Security Properties Enforcement.	ESSoS	2009	DBLP DOI BibTeX RDF
1	Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Ilaria Matteucci, Paolo Mori	Controlling Usage in Business Process Workflows through Fine-Grained Security Policies.	TrustBus	2008	DBLP DOI BibTeX RDF	Fine-grained Security Policies, Workflow Monitoring, Business Processes
1	Paolo Greci, Fabio Martinelli, Ilaria Matteucci	A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application.	ISoLA	2008	DBLP DOI BibTeX RDF	Contract-policy matching, symbolic transition systems, mobile application, simulation relation
1	Fabio Martinelli, Ilaria Matteucci	Synthesis of Local Controller Programs for Enforcing Global Security Properties.	ARES	2008	DBLP DOI BibTeX RDF
1	Gabriele Lenzini, Fabio Martinelli, Ilaria Matteucci, Stefania Gnesi	A Uniform Approach to Security and Fault-Tolerance Specification and Analysis.	WADS	2008	DBLP DOI BibTeX RDF	Software Architecture Formal Analysis, Security, Fault Tolerance
1	Ilaria Matteucci	Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Fabio Martinelli, Ilaria Matteucci	An Approach for the Specification, Verification and Synthesis of Secure Systems.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Fabio Martinelli, Ilaria Matteucci	Through Modeling to Synthesis of Security Automata.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Fabio Martinelli, Ilaria Matteucci	Synthesis of Web Services Orchestrators in a Timed Setting.	WS-FM	2007	DBLP DOI BibTeX RDF
1	Ilaria Matteucci	A Tool for the Synthesis of Controller Programs.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF

Publications of "Ilaria Matteucci" ( http://dblp.L3S.de/Authors/Ilaria_Matteucci )