Information Flow Security for XML Transformations

Abstract. We provide a formal definition of information flows in XML transformations and, more generally, in the presence of type driven computations and describe a sound technique to detect transformations that may leak private or confidential information. We also outline a general framework to check middlewarelocated information flows.

• Type: Conference
• Year: 2003
• Where: ASIAN
• Authors: Véronique Benzaken, Marwan Burelle, Giuseppe Castagna
• Keywords: Algorithms, ASIAN 2003, Information Flows, Type Driven Computations, XML Transformations