BARLETTA, Michele
BARLETTA, Michele
DIPARTIMENTO DI INFORMATICA
A Declarative Two-Level Framework to Specify and Verify Workflow and Authorization Policies in Service-Oriented Architectures
2011-01-01 Barletta, Michele; Ranise, Silvio; Vigano', Luca
Authorization Policies in Security-Sensitive Web Services and Applications - Formal Modeling and Analysis
2012-01-01 Barletta, Michele
Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities
2013-01-01 Barletta, Michele; Ranise, Silvio; Vigano', Luca
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
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures
2009-01-01 Barletta, Michele; Ranise, Silvio; Vigano', 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
WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications
2010-01-01 Barletta, Michele; Calvi, Alberto; Ranise, Silvio; Vigano', Luca; Zanetti, Luca
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Declarative Two-Level Framework to Specify and Verify Workflow and Authorization Policies in Service-Oriented Architectures | 1-gen-2011 | Barletta, Michele; Ranise, Silvio; Vigano', Luca | |
| Authorization Policies in Security-Sensitive Web Services and Applications - Formal Modeling and Analysis | 1-gen-2012 | Barletta, Michele | |
| Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities | 1-gen-2013 | Barletta, Michele; Ranise, Silvio; Vigano', Luca | |
| 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 | |
| Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures | 1-gen-2009 | Barletta, Michele; Ranise, Silvio; 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 |