Declassification: a clouded environment