Romain Beauxis Konstantinos Chatzikokolakis Catuscia Palamidessi Prakash Panangaden Formal Approaches to Information-Hiding (Tutorial). 347-362 2007 TGC http://dx.doi.org/10.1007/978-3-540-78663-4_23 conf/tgc/2007 db/conf/tgc/tgc2007.html#BeauxisCPP07