Andrei Sabelfeld, David Sands: Declassification: Dimensions and principles. J. Comput. Secur. 17(5): 517-548 (2009)