@ARTICLE {8973,
author={A. Matos and G. Boudol},
doi={10.1109/CSFW.2005.21},
journal={Computers and Security},
title={On declassification and the non-disclosure policy},
year={2009},
month={January},
volume={17},
number={5},
pages={549-597},
ISSN={0167-4048}
}