Projet : LOGICAL - logical

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h1><a name="SECTION00040000000000000000" id= "SECTION00040000000000000000"></a> <a name="LOGICAL_domaine_" id="LOGICAL_domaine_"></a><br /> Domaines d'applications</h1><a name="LOGICAL_domaine_domaine" id="LOGICAL_domaine_domaine"></a> <p><strong>Mots clés :</strong> <i>informatique médicale, transports, télécomunications, commerce électronique, informatique en réseau .</i></p> <p>Les systèmes de traitement de démonstrations, et plus généralement les outils de méthodes formelles, sont utiles dans les domaines où la sûreté (c'est-à-dire l'absence d'erreurs involontaires) et la sécurité (c'est-à-dire la protection contre les attaques malveillantes) des systèmes informatiques sont cruciaux.</p> <p>Essentiellement cela concerne les applications où un défaut de fonctionnement met en péril la vie humaine, l'environnement ou des sommes d'argent importantes. Les domaines d'application sont donc naturellement l'informatique médicale, les transports, les télécomunications, le commerce électronique et plus généralement l'informatique en réseau.</p> <p>Le système <i class="sans">Coq</i> a été ou est actuellement utilisé pour la modélisation de protocoles cryptographiques utilisés en commerce électronique, la modélisation de politiques de sécurité dans le cadre d'applications Java sur cartes à puce, des études d'algorithmes de contrÔle de conformité dans les réseaux ATM en vue de leur normalisation, des démonstrations de compilateur de langages réactifs, la certification d'algorithmes de calcul formel, ...</p> <p>Ces développements sont pour la plupart menés à bien hors de notre projet par nos partenaires, en particulier nos partenaires industriels (Trusted Logic, France Telecom, ...)</p> </body>