PISCO
Accueil  
  Les partenaires  
La plateforme  
La certification  
  Les démonstrateurs  
Les résultats  



SafeRiver

SafeRiver est une société spécialisée dans le développement de méthodes et outils pour les systèmes embarqués devant répondre à des exigences de sûreté (robustesse aux erreurs) ou de sécurité (prise en compte des attaques et malveillances).

SafeRiver apporte son savoir-faire en spécification formelle et en vérification de systèmes logiciels (modélisation, preuve de propriétés, analyse de code) ainsi que sa capacité de développement d’outillages spécialisés dans le domaine de l’analyse de code.

Les activités SSI de SafeRiver sont focalisées sur

• La formalisation et la vérification d’exigences fonctionnelles de sécurité :
- contrôle de flux,
- contrôle d’accès,
- mécanismes de protection des biens sensibles ;

• La sécurité du logiciel :
- Règles de conception et de codage pour la sécurité (langages C/C++, Java, OCaml),
- détection de faiblesses et analyse de leur exploitabilité par analyse de code,
- Elaboration et vérification de règles d’usage correct des API.

Dans le projet PISCO, SafeRiver:

• Contribue à la vérification d’exigences de sécurité par analyse statique :

- La formalisation de règles de codage permettant de traduire des exigences non fonctionnelles de sécurité ;
- La traduction d’exigences fonctionnelles de sécurité et de politiques de sécurité classiques en exigences de code ;
- Le développement de moteurs d’analyse dédiés à la vérification de règles et d’exigences sur le code source ;
- Le développement de moteurs dédiés à la détection de vulnérabilités ;
- L’intégration des résultats produits dans les démarches d’analyse de risque.

• Etudie la complémentarité des différentes méthodes de vérification d’exigences de sécurité utilisées dans le projet.

Le projet PISCO permettra à SafeRiver d’améliorer son outillage en développant des modules d'analyse ciblant des faiblesses particulières identifiées en fonction des types d'attaques pertinentes pour les codes développés par les partenaires.

SafeRiver
Site extranet Pisco - Mise à jour : 28/10/2013 11:06:03 - Mentions Légales
© CEA 2003 - 2017 Tous droits réservés