CALVI, Alberto

CALVI, Alberto  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.014 secondi).
Titolo Data di pubblicazione Autore(i) File
An automated approach for testing the security of web applications against chained attacks 1-gen-2016 Calvi, Alberto; Vigano', Luca
Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC 1-gen-2010 Calvi, Alberto; Ranise, Silvio; Vigano', Luca
Evaluation of ASLan Mutation Operators 1-gen-2013 Johan, Oudinet; Calvi, Alberto; Matthias, Büchler
Methods for Model-Based and Vulnerability-driven Security Testing 1-gen-2015 Calvi, Alberto
MICROARRAY SYSTEM. A System for Managing Data Produced by DNA-microarray Experiments 1-gen-2011 Calvi, Alberto; Delledonne, Massimo; Ferrarini, Alberto; Lovato, Pietro; Marchesini, Simone; Oliboni, Barbara
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures 1-gen-2012 Alessandro, Armando; Wihem, Arsac; Tigran, Avanesov; Barletta, Michele; Calvi, Alberto; Alessandro, Cappai; Roberto, Carbone; Yannick, Chevalier; Luca, Compagna; Jorge, Cuellar; Gabriel, Erzse; Simone, Frau; Marius, Minea; Sebastian, Moedersheim; David von, Oheimb; Giancarlo, Pellegrino; Serena Elisa, Ponta; Rocchetto, Marco; Michael, Rusinowitch; Mohammad Torabi, Dashti; Mathieu, Turuani; Vigano', Luca
Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services 1-gen-2011 Barletta, Michele; Calvi, Alberto; Ranise, Silvio; Vigano', Luca; Zanetti, Luca
WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications 1-gen-2010 Barletta, Michele; Calvi, Alberto; Ranise, Silvio; Vigano', Luca; Zanetti, Luca