BARLETTA, Michele
BARLETTA, Michele
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.006 secondi).
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
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
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 | |
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 |