Sfoglia per Autore
Mostrati risultati da 1 a 3 di 3
Model checking for data anomaly detection
2019-01-01 Ciobanu, M. G.; Fasano, F.; Martinelli, F.; Mercaldo, F.; Santone, A.
Poster: A data life cycle modeling proposal by means of formal methods
2019-01-01 Ciobanu, MADALINA GEORGETA; Fasano, Fausto; Martinelli, Fabio; Mercaldo, Francesco; Santone, Antonella
Accidental sensitive data leaks prevention via formal verification
2020-01-01 Ciobanu, M. G.; Fasano, F.; Martinelli, F.; Mercaldo, F.; Santone, A.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Model checking for data anomaly detection | 1-gen-2019 | Ciobanu, M. G.; Fasano, F.; Martinelli, F.; Mercaldo, F.; Santone, A. | |
Poster: A data life cycle modeling proposal by means of formal methods | 1-gen-2019 | Ciobanu, MADALINA GEORGETA; Fasano, Fausto; Martinelli, Fabio; Mercaldo, Francesco; Santone, Antonella | |
Accidental sensitive data leaks prevention via formal verification | 1-gen-2020 | Ciobanu, M. G.; Fasano, F.; Martinelli, F.; Mercaldo, F.; Santone, A. |
Mostrati risultati da 1 a 3 di 3
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