Sfoglia per Rivista ACM TRANSACTIONS ON PRIVACY AND SECURITY
Mostrati risultati da 1 a 2 di 2
Formal Analysis of Mobile Multi-Factor Authentication with Single Sign-On Login
2020-01-01 Sciarretta, Giada; Carbone, Roberto; Ranise, Silvio; Viganò, Luca
Formal Modelling and Automated Trade-off Analysis of Enforcement Architectures for Cryptographic Access Control in the Cloud
2022-01-01 Berlato, Stefano; Carbone, Roberto; Lee, Adam J.; Ranise, Silvio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Formal Analysis of Mobile Multi-Factor Authentication with Single Sign-On Login | 1-gen-2020 | Sciarretta, Giada; Carbone, Roberto; Ranise, Silvio; Viganò, Luca | |
Formal Modelling and Automated Trade-off Analysis of Enforcement Architectures for Cryptographic Access Control in the Cloud | 1-gen-2022 | Berlato, Stefano; Carbone, Roberto; Lee, Adam J.; Ranise, Silvio |
Mostrati risultati da 1 a 2 di 2
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