 | 2009 |
|---|
| 11 |       | Fabio Martinelli,
Ilaria Matteucci:
Idea: Action Refinement for Security Properties Enforcement.
ESSoS 2009: 37-42 |
| 10 | | Roberto Gorrieri,
Fabio Martinelli,
Ilaria Matteucci:
Towards Information Flow Properties for Distributed Systems.
Electr. Notes Theor. Comput. Sci. 236: 65-84 (2009) |
| 2008 |
|---|
| 9 | | Fabio Martinelli,
Ilaria Matteucci:
Synthesis of Local Controller Programs for Enforcing Global Security Properties.
ARES 2008: 1120-1127 |
| 8 | | 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 |
| 7 | | 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 |
| 6 | | Gabriele Lenzini,
Fabio Martinelli,
Ilaria Matteucci,
Stefania Gnesi:
A Uniform Approach to Security and Fault-Tolerance Specification and Analysis.
WADS 2008: 172-201 |
| 2007 |
|---|
| 5 | | Fabio Martinelli,
Ilaria Matteucci:
Synthesis of Web Services Orchestrators in a Timed Setting.
WS-FM 2007: 124-138 |
| 4 | | 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 | | Fabio Martinelli,
Ilaria Matteucci:
Through Modeling to Synthesis of Security Automata.
Electr. Notes Theor. Comput. Sci. 179: 31-46 (2007) |
| 2 | | 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 | | Ilaria Matteucci:
A Tool for the Synthesis of Controller Programs.
Formal Aspects in Security and Trust 2006: 112-126 |
