[r2004-06-21 20:23:54 by beppe] Empty log message

Original author: beppe
Date: 2004-06-21 20:26:13+00:00

web/Funding.xml

@@ -4,7 +4,7 @@
 <title>Funding</title>
 
 <left>
-<pages-toc/>
+<boxes-toc/>
 </left>
 <include file="GraphDuce.xml"/>
 <include file="Tralala.xml"/>
@@ -36,7 +36,21 @@ href="http://www.telecom.gouv.fr/rntl/">RNTL</a>) and aims at ...
 </box>
 
 <box title="Myths" link="Myths">
-<p>Myths est ...</p>
+<p>MyThS (Models and Types for Security in Mobile Distributed Systems Contract
+IST-2001-32617) is a project funded by the Information Society Technologies
+(IST) Programme of the European Union. It is a collaboration between the Ecole
+Normale Superieure de Paris, the University of Sussex, and the University Ca'
+Foscari of Venice</p>
+
+
+
+<p> MyThS seeks to develop type-based foundational theories of security for
+mobile and distributed systems. By relying on strong typing as the basic
+principle, MyThS addresses the foundations of programming languages and
+paradigms that allow static detection of security violations, and aims at
+developing type theoretic methods and tools that enable formal analyses of
+security guarantees appropriate for systems and applications on the global
+computing platform.</p>
 
 <p>More information about the project can we found in the following page on
 <a href="http://www.informatics.sussex.ac.uk/users/vs/myths/index.htm">MyThS</a></p>