RANISE, Silvio
RANISE, Silvio
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.005 secondi).
Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities
2013-01-01 Barletta, Michele; Ranise, Silvio; Vigano', Luca
Do Security Reports Meet Usability?
2021-01-01 Manfredi, Salvatore; Ceccato, Mariano; Sciarretta, Giada; Ranise, Silvio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities | 1-gen-2013 | Barletta, Michele; Ranise, Silvio; Vigano', Luca | |
Do Security Reports Meet Usability? | 1-gen-2021 | Manfredi, Salvatore; Ceccato, Mariano; Sciarretta, Giada; Ranise, Silvio |