Controlling the what and where of declassification in language-based security Mantel, Heiko Reinhard, Alexander 2007 - TUHH Open Research