- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j6 |      | Gabriele Costa, Ilaria Matteucci: Gate automata-driven run-time enforcement. Computers & Mathematics with Applications 63(2): 518-524 (2012) |
| j5 | | Fabio Martinelli, Ilaria Matteucci: A framework for automatic generation of security controller. Softw. Test., Verif. Reliab. 22(8): 563-582 (2012) |
| c19 | | Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Luca Wiegand: A Formal Support for Collaborative Data Sharing. CD-ARES 2012: 547-561 |
| c18 | | Ilaria Matteucci, Paolo Mori, Marinella Petrocchi: Prioritized Execution of Privacy Policies. DPM/SETOP 2012: 133-145 |
| c17 | | Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra: A Multi-criteria-Based Evaluation of Android Applications. INTRUST 2012: 67-82 |
| c16 | | Fabio Martinelli, Ilaria Matteucci, Charles Morisset: From Qualitative to Quantitative Enforcement of Security Policy. MMM-ACNS 2012: 22-35 |
| c15 | | V. Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, J. A. Martín, E. Pimentel: A tool for the synthesis of cryptographic orchestrators. MDsec 2012: 10 |
| 2011 | ||
| c14 | | Ilaria Matteucci, Marinella Petrocchi, Marco Luca Sbodio, Luca Wiegand: A Design Phase for Data Sharing Agreements. DPM/SETOP 2011: 25-41 |
| c13 | | Gabriele Costa, Ilaria Matteucci: Trust-Driven Policy Enforcement through Gate Automata. IMIS 2011: 208-215 |
| c12 | | |
| c11 | | Gabriele Costa, Valérie Issarny, Fabio Martinelli, Ilaria Matteucci, Rachid Saadi: Security and Trust. SFM 2011: 393-416 |
| c10 | | Ilaria Matteucci, Paolo Mori, Marinella Petrocchi, Luca Wiegand: Controlled data sharing in E-health. STAST 2011: 17-23 |
| 2010 | ||
| c9 | | Gabriele 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 |
| c8 | | Ilaria Matteucci, Marinella Petrocchi, Marco Luca Sbodio: CNL4DSA: a controlled natural language for data sharing agreements. SAC 2010: 616-620 |
| 2009 | ||
| j4 | | Roberto Gorrieri, Fabio Martinelli, Ilaria Matteucci: Towards Information Flow Properties for Distributed Systems. Electr. Notes Theor. Comput. Sci. 236: 65-84 (2009) |
| c7 | | Fabio Martinelli, Ilaria Matteucci: Idea: Action Refinement for Security Properties Enforcement. ESSoS 2009: 37-42 |
| 2008 | ||
| c6 | | Fabio Martinelli, Ilaria Matteucci: Synthesis of Local Controller Programs for Enforcing Global Security Properties. ARES 2008: 1120-1127 |
| c5 | | Gabriele Lenzini, Fabio Martinelli, Ilaria Matteucci, Stefania Gnesi: A Uniform Approach to Security and Fault-Tolerance Specification and Analysis. WADS 2008: 172-201 |
| c4 | | Paolo Greci, Fabio Martinelli, Ilaria Matteucci: A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application. ISoLA 2008: 221-236 |
| c3 | | Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Ilaria Matteucci, Paolo Mori: Controlling Usage in Business Process Workflows through Fine-Grained Security Policies. TrustBus 2008: 100-117 |
| 2007 | ||
| j3 | | Fabio Martinelli, Ilaria Matteucci: An Approach for the Specification, Verification and Synthesis of Secure Systems. Electr. Notes Theor. Comput. Sci. 168: 29-43 (2007) |
| j2 | | Fabio Martinelli, Ilaria Matteucci: Through Modeling to Synthesis of Security Automata. Electr. Notes Theor. Comput. Sci. 179: 31-46 (2007) |
| j1 | | Ilaria Matteucci: Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting. Electr. Notes Theor. Comput. Sci. 186: 101-120 (2007) |
| c2 | | Fabio Martinelli, Ilaria Matteucci: Synthesis of Web Services Orchestrators in a Timed Setting. WS-FM 2007: 124-138 |
| 2006 | ||
| c1 | | Ilaria Matteucci: A Tool for the Synthesis of Controller Programs. Formal Aspects in Security and Trust 2006: 112-126 |
Data released under the ODC-BY 1.0 license — See also our legal information page