Position:	Ricercatore
Email:	ilaria [dot] matteucciiit [dot] cnr [dot] it
Phone:	+39 050 315 3507
Mobile:	+39 348 445 6575
Fax:	+39 050 315 2593
Building:	B
Entrance:	7-18
Floor:	1
Room:	B67a
URL:	Homepage

A-Z
A|B|C
D|F|G
H|I|K
L|M|N
O|P|R
S|T|V
W
A-Z

Activities

Projects

Publications

Book

Gabriele Costa, Valerie Issarny, Fabio Martinelli, Ilaria Matteucci, Rachid Saadi
Security and Trust
2011

ISI journal

F.Martinelli and I. Matteucci
A framework for automatic generation of security controller
2010, STVR Journal

Fabio Martinelli, Ilaria Matteucci
Idea: Action Refinement for Security Properties Enforcement
2009, Lecture Notes in Computer Science

P. Greci, F. Martinelli, I. Matteucci
A Framework for Contract-Policy Matching based on Symbolic Simulations for securing Mobile Device Application
2008, LECTURE NOTES IN COMPUTER SCIENCE (00538S0)

F. Martinelli, I. Matteucci
Synthesis of Web Services Orchestrators in a Timed Setting
2008, LECTURE NOTES IN COMPUTER SCIENCE (00538S0), Web Services and Formal Methods 2007

I. Matteucci
A Tool for the Synthesis of Controller Programs.
2007, LECTURE NOTES IN COMPUTER SCIENCE (00538S0), Formal Aspects in Security and Trust

non-ISI journal

Gabriele Costa, Aliaksandr Lazouski, Fabio Martinelli, Ilaria Matteucci, Nicola Dragoni,Valerie Issarny, Rachid Saadi, Fabio Massacci
Security-by-Contract-with-Trust for Mobile Devices
2011, Journal of Wireless Mobile Networks, Ubiquitous Computing and Dependable Applications (JOWUA)

Martinelli F., Matteucci I.
A framework for automatic generation of security controller
2010, Software Testing, Verification & Reliability (STVR) Journal

G. Costa e I. Matteucci
Enforcing Private Policy via Security-by-Contract. Special Issue “Identity and Privacy Management
2010, UPGRADE

Roberto Gorrieri, Fabio Martinelli, Ilaria Matteucci
Towards Information Flow Properties for Distributed Systems
2009, Electr. Notes Theor. Comput. Sci.

F. Martinelli, I. Matteucci
An Approach for the Specification, Verification and Synthesis of Secure Systems
2007, Electronic Notes Theoretical Computer Science

I. Matteucci
Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting
2007, Electr. Notes Theor. Comput. Sci.

F.Martinelli, I. Matteucci
Through Modeling to Synthesis of Security Automata
2007, Electronic Notes Theoretical Computer Science

Conference article

Martinelli, Matteucci, Petrocchi, Wiegand
A formal support for collaborative data sharing
2012, 2nd IFIP Workshop on Security and Cognitive Informatics for Homeland Defense (SeCIHD 2012)

Ilaria Matteucci, Marinella Petrocchi, Marco Luca Sbodio, Luca Wiegand
A Design Phase for Data Sharing Agreements
2011, LNCS 7122: Proc. of Data Privacy Management 2011

Ilaria Matteucci, Paolo Mori, Marinella Petrocchi, Luca Wiegand
Controlled Data Sharing in e-Health
2011, IEEE STAST 2011, 1st Workshop on Socio-Technical Aspects in Security and Trust

Garbriele Costa, Ilaria Matteucci
Elective Temporal Logic
2011, QoSA-ISARCS '11

Fabio Martinelli, Ilaria Matteucci
Preserving Security Properties under Refinement
2011, The 7th International Workshop on Software Engineering for Secure Systems (SESS'11)

Garbriele Costa, Ilaria Matteucci
Trust-Driven Policy Enforcement through Gate Automata.
2011, Innovative Mobile and Internet Services in Ubiquitous Computing, IMIS 2011,

I. Matteucci, M. Petrocchi, M.L. Sbodio
CNL4DSA: a controlled natural language for data sharing agreements
2010, ACM SAC 2010

Maurizio Colombo, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi
Context-Aware Analysis of Data Sharing Agreements
2010, 2010 Third International Conference on Advances in Human-Oriented and Personalized Mechanisms, Technologies and Services (CENTRIC) (Workshop EuroCAT 2010)

A. Bertolino, F. Di Giandomenico, P. Masci, A. Sabetta, F. Martinelli, I. Matteucci, A. Di Marco, V. Issarny, e R.Saadi
Dependability in dynamic, evolving and heterogeneous systems: the CONNECT approach
2010, SERENE 2010

G. Costa, N. Dragoni, A. Lazouski, F. Massacci, F. Martinelli, I.Matteucci
Extending security-by-contract with quantitative trust on mobile devices
2010, IMIS'10: Proceedings of the 4th International Workshop on Intelligent, Mobile and Internet Services in Ubiquitous Computing

• 1
• 2
• next ›
• last »

Report

Marco Casassa Mont, Ilaria Matteucci, Marinella Petrocchi, Marco Luca Sbodio
Enabling Data Sharing in the Cloud
2012

Martinelli F, Matteucci I
Action Refinement for Security Properties Enforcement
2010

Colombo M, Martinelli F, Matteucci I, Petrocchi M
Analysis of Data Sharing Agreements with Automated veri cation and WS implementation
2010

Fabio Martinelli, Ilaria Matteucci
A framework for automatic security controller generation
2009

Martinelli F., Matteucci I.
A framework for the modeling and synthesis of security automata based on process algebras
2007

F. Martinelli, I. Matteucci
Model and Synthesize Security Automata
2006

Martinelli F., Matteucci I.
Partial mode checking, process algebra operators and satisfiability procedures for (automatically) enforcing security properties
2005