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

Original author: cvscast
Date: 2003-01-21 07:11:49+00:00

web/index2.xml

@@ -198,7 +198,7 @@ as this was our original motivation.
 <li>
 <b>Semantic subtyping, extended
 version</b>. Soon available.</li>
-
+<p/>
 <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
 </div>
 </li>
 </ul>
+
+
+
+<h4>Security</h4>
+
+<ul>
+<li>
+<b>Security analysis for XML transformations</b>;
+M. Burelle, V. Benzaken, G. Castagna. <a href="http://www.myths.eu.org">MyThS</a> technical report.
+<a href="papers/sec.ps.gz">(download ps.gz)</a>
+
+<div class="abstract">
+Abstract:
+<p>
+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.
+</p>
+</div>
+</li>
+</ul>
 </box>
 
 <box title="Slides" link="slides">