Formal approaches to information hiding : An analysis of interactive systems, statistical disclosure control, and refinement of specifications. (Des approches formelles pour le cachement d'information: Une analyse des systèmes interactifs, contrôle de divulgation statistique, et le raffinement des spécifications)