A Data Life Cycle Modeling Proposal by Means of Formal Methods.

Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone

Browse the full CCS paper archive.