| 2009 |
|---|
| 10 | EE | Fabio Martinelli,
Ilaria Matteucci:
Idea: Action Refinement for Security Properties Enforcement.
ESSoS 2009: 37-42 |
| 9 | EE | Roberto Gorrieri,
Fabio Martinelli,
Ilaria Matteucci:
Towards Information Flow Properties for Distributed Systems.
Electr. Notes Theor. Comput. Sci. 236: 65-84 (2009) |
| 2008 |
|---|
| 8 | EE | Fabio Martinelli,
Ilaria Matteucci:
Synthesis of Local Controller Programs for Enforcing Global Security Properties.
ARES 2008: 1120-1127 |
| 7 | EE | 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 |
| 6 | EE | 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 |
|---|
| 5 | EE | Fabio Martinelli,
Ilaria Matteucci:
Synthesis of Web Services Orchestrators in a Timed Setting.
WS-FM 2007: 124-138 |
| 4 | EE | Fabio Martinelli,
Ilaria Matteucci:
An Approach for the Specification, Verification and Synthesis of Secure Systems.
Electr. Notes Theor. Comput. Sci. 168: 29-43 (2007) |
| 3 | EE | Fabio Martinelli,
Ilaria Matteucci:
Through Modeling to Synthesis of Security Automata.
Electr. Notes Theor. Comput. Sci. 179: 31-46 (2007) |
| 2 | EE | Ilaria Matteucci:
Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting.
Electr. Notes Theor. Comput. Sci. 186: 101-120 (2007) |
| 2006 |
|---|
| 1 | EE | Ilaria Matteucci:
A Tool for the Synthesis of Controller Programs.
Formal Aspects in Security and Trust 2006: 112-126 |
