Sciweavers

ASIAN
2003
Springer

Information Flow Security for XML Transformations

13 years 7 months ago
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.
Véronique Benzaken, Marwan Burelle, Giusepp
Added 23 Aug 2010
Updated 23 Aug 2010
Type Conference
Year 2003
Where ASIAN
Authors Véronique Benzaken, Marwan Burelle, Giuseppe Castagna
Comments (0)