Projet : LANDE - lande

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00074000000000000000" id= "SECTION00074000000000000000">Action Secsafe</a></h2>  <a name="LANDE_contrats_module-secsafe" id= "LANDE_contrats_module-secsafe"></a> <p><br /> <br /> <span class="textbf">Participants :</span> Thomas Jensen, Fausto Spoto, Marc Éluard, Frédéric Besson, Florimond Ployette.<br /> <br /></p> <p><a name="secsafe" id="secsafe"></a></p> <p><strong>Mots clés :</strong> <i>Sécurité, analyse statique, cartes à puce, code mobile, Java, Java Card. .</i></p> <h3>Résumé :</h3> <div class="ABSTRACT"> <i>Le projet européen Secsafe porte sur la sécurité de logiciels et l'analyse statique avec une focalisation sur les langage Java et Java Card. Deux domaines d'application sont visés : le code mobile et les cartes à puce. Le projet a deux partenaires académiques (Imperial College de l'université de Londres et l'université d'Aarhus du Danemark) et la PME Trusted Logic, spécialisée en sécurité et cartes à puce.</i> </div> <p>Le projet européen Secsafe qui a commencé en 2000 porte sur la sécurité de logiciels et l'analyse statique avec une focalisation sur les langage Java et Java Card. Le choix de Java comme langage à étudier permet d'appliquer nos analyses à deux domaines différents : le code mobile et les cartes à puce. Les analyses envisagées seront fondées sur nos travaux de formalisation de Java et Java Card (voir modules <a href= "resul_module-11_Toc.html#securite">6.2.3</a> et <a href= "contr_module-15_ct.html#action-vip">7.3</a>). Le projet a deux partenaires académiques (Imperial College de l'université de Londres et l'université d'Aarhus du Danemark) et la PME Trusted Logic, spécialisée en sécurité et cartes à puce.</p> </body>