RANISE, Silvio
RANISE, Silvio
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.003 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
Empirical Validation on the Usability of Security Reports for Patching TLS Misconfigurations: User-and Case-Studies on Actionable Mitigations
2022-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 | |
| Empirical Validation on the Usability of Security Reports for Patching TLS Misconfigurations: User-and Case-Studies on Actionable Mitigations | 1-gen-2022 | Manfredi, Salvatore; Ceccato, Mariano; Sciarretta, Giada; Ranise, Silvio |