AS CNRS
Thème SOD
Contexte
Le CNRS a mis en place des
RéseauxThématiques Pluridisciplinaires
(RTP) qui proposent un « cadre
d'élaboration et d'animation en réseau [...] autour d'un thème
pluridisciplinaire » constituant des « enjeux de recherche
prioritaires pour les STIC ». L'un d'entre eux est le RTP
Systèmes Embarqués Complexes ou Contraints.
Ce RTP a décider de soutenir en son sein des
Actions Spécifiques (AS). Les AS ont
« pour objectif de détecter, d'analyser et de développer de
nouvelles thématiques de recherche pour le département ».
L'équipe Systèmes et Objets Distribués du LaBRI participe à l'AS
intitulée Sécurité logicielle : modèles et vérification.
Cette AS est structurée en trois axes : la vérification de
protocoles cryptographiques ; la vérification de codes embarqués ; les
modèeles pour la disponibilité et survivabilité.
C'est au thème vérification de codes embarqués que nous
contribuons.
Partenaires
Ce thème regroupe les équipes suivantes :
- Systèmes et Objets Distribués, LaBRI
Personnes impliquées et rôles dans le projet
André Arnold | |
Serge Chaumette | Porteur pour le LaBRI |
Alain Griffault | |
Gérald Point | |
Damien Sauveron | |
Iban Hatchondo | |
Nous avons aussi associé comme invité industriel la société
SERMA technologies
avec laquelle nous collaborons par ailleurs.
Objectifs
Les objectifs du thème vérification de codes embarqués, tels
que définis dans l'annexe technique de l'AS sont :
- Etablir une formalisation commune des aspects sécurité propre au langage Java Card ;
- Formaliser des politiques de sécurité pour une carte à puce ;
- Etudier comment étendre et adapter des méthodes de vérification génériques aux spécifité de Java Card ;
- Etudier le problème de flux d'information entre applets ;
- Mettre en place un portail de diffusion de la connaissance dans le domaine.
Soutiens et financements
Documents
- Annexe technique de l'Action Spécifique [
pdf ][
ps ]
Java and all Java-based marks are trademarks
or registered trademarks of Sun
Microsystems, Inc. in the United States and
other countries.