Commit 46dc691f authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-01-21 07:11:49 by cvscast] Empty log message

Original author: cvscast
Date: 2003-01-21 07:11:49+00:00
parent d4e92ad7
......@@ -198,7 +198,7 @@ as this was our original motivation.
<b>Semantic subtyping, extended
version</b>. Soon available.</li>
<b>The Relevance of Semantic Subtyping</b>;
M. Dezani-Ciancaglini, A. Frisch, E. Giovannetti, Y. Motohama.
......@@ -253,6 +253,31 @@ du typage par r
<b>Security analysis for XML transformations</b>;
M. Burelle, V. Benzaken, G. Castagna. <a href="">MyThS</a> technical report.
<a href="papers/">(download ps.gz)</a>
<div class="abstract">
In this article we give a formal definition of information flows in the context
of XML transformations and, more generally, in the presence of type dependent
computations. We formalize a sound technique to detect XML document transformations
that may leak private or confidential information. By defining security
annotations and by relating various kind of analyses to different query
scenarios, we also establish a general framework for checking middleware-located
information flows.
<box title="Slides" link="slides">
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment