Sfoglia per Autore
Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC
2010-01-01 Calvi, Alberto; Ranise, Silvio; Vigano', Luca
WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications
2010-01-01 Barletta, Michele; Calvi, Alberto; Ranise, Silvio; Vigano', Luca; Zanetti, Luca
Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services
2011-01-01 Barletta, Michele; Calvi, Alberto; Ranise, Silvio; Vigano', Luca; Zanetti, Luca
MICROARRAY SYSTEM. A System for Managing Data Produced by DNA-microarray Experiments
2011-01-01 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
2012-01-01 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
Evaluation of ASLan Mutation Operators
2013-01-01 Johan, Oudinet; Calvi, Alberto; Matthias, Büchler
Methods for Model-Based and Vulnerability-driven Security Testing
2015-01-01 Calvi, Alberto
An automated approach for testing the security of web applications against chained attacks
2016-01-01 Calvi, Alberto; Vigano', Luca
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC | 1-gen-2010 | Calvi, Alberto; Ranise, Silvio; Vigano', 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 | |
| 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 | |
| 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 | |
| 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 | |
| An automated approach for testing the security of web applications against chained attacks | 1-gen-2016 | Calvi, Alberto; Vigano', Luca |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile