Secure Refinements of Communication Channels. - Vincent Cheval; Véronique Cortier; Eric le Morvan (FSTTCS, 2015)