Modelling declassification policies using abstract domain completeness | Publicación