A Labelling System for Derived Data Control.

Enrico Scalavino, Vaibhav Gowadia, Emil C. Lupu

Browse the full DBSEC paper archive.