CIOBANU, MADALINA GEORGETA
CIOBANU, MADALINA GEORGETA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.006 secondi).
Accidental sensitive data leaks prevention via formal verification
2020-01-01 Ciobanu, M. G.; Fasano, F.; Martinelli, F.; Mercaldo, F.; Santone, A.
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
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Accidental sensitive data leaks prevention via formal verification | 1-gen-2020 | Ciobanu, M. G.; Fasano, F.; Martinelli, F.; Mercaldo, F.; Santone, A. | |
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 |