Intransitive Non-Interference by Unfolding. - Paolo Baldan; Francesco Burato; Alberto Carraro (FACS, 2014)