 | 2012 |
| 13 |  | Gabriele Costa,
Ilaria Matteucci:
Gate automata-driven run-time enforcement.
Computers & Mathematics with Applications 63(2): 518-524 (2012) |
| 12 |  | Gabriele Costa,
Pierpaolo Degano,
Fabio Martinelli:
Modular plans for secure service composition.
Journal of Computer Security 20(1): 81-117 (2012) |
| 2011 |
| 11 |  | Gabriele Costa,
Ilaria Matteucci:
Trust-Driven Policy Enforcement through Gate Automata.
IMIS 2011: 208-215 |
| 10 |  | Gabriele Costa,
Ilaria Matteucci:
Elective temporal logic.
QoSA/ISARCS 2011: 143-152 |
| 9 |  | Gabriele Costa,
Valérie Issarny,
Fabio Martinelli,
Ilaria Matteucci,
Rachid Saadi:
Security and Trust.
SFM 2011: 393-416 |
| 8 |  | Gabriele Costa,
Pierpaolo Degano,
Fabio Martinelli:
Secure service orchestration in open networks.
Journal of Systems Architecture - Embedded Systems Design 57(3): 231-239 (2011) |
| 2010 |
| 7 |  | Gabriele Costa,
Pierpaolo Degano,
Fabio Martinelli:
Modular Plans for Secure Service Composition.
ARSPA-WITS 2010: 41-58 |
| 6 |  | 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 |
| 5 |  | Gabriele Costa,
Fabio Martinelli,
Paolo Mori,
Christian Schaefer,
Thomas Walter:
Runtime monitoring for next generation Java ME platform.
Computers & Security 29(1): 74-87 (2010) |
| 4 |  | Gabriele Costa,
Francesco La Torre,
Fabio Martinelli,
Paolo Mori:
Parental Control for Mobile Devices.
ERCIM News 2010(82): 61-62 (2010) |
| 2009 |
| 3 |  | Giuseppe Amato,
Paolo Bolettieri,
Gabriele Costa,
Francesco La Torre,
Fabio Martinelli:
Detection of images with adult content for parental control on mobile devices?
Mobility Conference 2009 |
| 2 |  | Massimo Bartoletti,
Gabriele Costa,
Roberto Zunino:
Jalapa: Securing Java with Local Policies: Tool Demonstration.
Electr. Notes Theor. Comput. Sci. 253(5): 145-151 (2009) |
| 1 |  | Massimo Bartoletti,
Gabriele Costa,
Pierpaolo Degano,
Fabio Martinelli,
Roberto Zunino:
Securing Java with Local Policies.
Journal of Object Technology 8(4): 5-32 (2009) |