Sécurité - Inria

Télécoms, Réseaux, Multimédia

« Une structure unique qui ouvre la voie à des travaux scientifiques de qualité »

Entretien avec José M. Fernandez, professeur adjoint du département de génie informatique et génie logiciel de l'Ecole Polytechnique de Montréal. Il dirige une structure équivalente au LHS au sein de l'Ecole Polytechnique de Montréal, soit le laboratoire de recherche en sécurité des systèmes d'information (SecSI).

Mots-clés :

Accueil > Centre > Nancy > Innovation > Laboratoire Sécurité Informatique > Interview José Fernandez

Télécoms, réseaux, multimédia

Un domaine de recherche multi-thématique impliquant de nombreuses équipes projet Inria

Une cinquantaine d’équipes de recherche de l’Inria mènent des travaux de recherche en lien avec la sécurité informatique et cette problématique est au cœur des travaux d’une quinzaine d’entre elles.

Mots-clés :

Accueil > Centre > Nancy > Innovation > Laboratoire Sécurité Informatique > Sécurité informatique

Sécurité

Atelier GIPSy 2010

15/11/2010 au 16/11/2010

Le but principal de cet atelier est de regrouper des chercheurs ayant pour centres d'intérêt les jeux, la logique et la sécurité (au sens large), et de leur offrir un forum privilégié pour pouvoir présenter et échanger leurs idées sur ces thématiques.

Lieu : Salle Michel Métiver, centre de recherche Inria Rennes - Bretagne Atlantique

Intervenants : Hans van Ditmarsch (Université de Séville), Jean-François Raskin (Université libre de Bruxelles), Tristan Tomala (HEC Paris)

Mots-clés :

Accueil > Centre > Rennes > Agenda > Atelier GIPSy 2010

Programme et inscriptions

Séminaire - Sécurité

Séminaire "Sécurité & méthodes formelles"

3/12/2010

Lieu : Centre de recherche Inria Rennes - Bretagne Atlantique, salle Michel Métivier

Intervenants : Yassine Lakhnech, Université de Grenoble, CNRS/VERIMAG

Mots-clés :

Accueil > Centre > Rennes > Agenda > Séminaire "Sécurité & méthodes formelles"

Algorithmique, programmation, logiciels et architectures

Apporter des réponses pour des échanges plus sûrs

30/08/2011

Vérifier des protocoles cryptographiques, présents dans le commerce en ligne ou les distributeurs de billets, mais aussi mettre en place des outils de détection d’intrusion dans un système informatique, et ainsi alerter si une suite d’actions semblent malveillantes, tels sont les objectifs de l’équipe-projet Secsi (commune avec le LSV, le CNRS, et l’ENS Cachan). À l’occasion de la soutenance de l’habilitation à diriger des recherches (HDR) de trois de ses membres, focus sur leurs travaux de recherche.

Mots-clés :

Accueil > Centre > Saclay > Actualités > Apporter des réponses pour des échanges plus sûrs

iMatch

iMatch Sécurité / Preuve de Programmes

23/11/2010

Le centre Inria Saclay - Île-de-France, en partenariat avec Systématic et Oséo, organise le mardi 23 novembre à 14h - salle de la CAPS (Parc Orsay Université) des rencontres entre industriels et chercheurs sur le thème de la sécurité et preuve de programmes.

Lieu : Parc Orsay Université - salle de la CAPS

Intervenants : Chercheurs des équipes SECSI, TANC, COMETE et PROVAL

Mots-clés :

Accueil > Innovation > Agenda > iMatch Sécurité / Preuve de Programmes

OrchIDS : détection d'intrusion par analyse en temps réel & corrélation temporelle d'événements

Dans cette démonstration, nous présentons OrchIDS, un système de détection d'intrusion.

Mots-clés :

Accueil > Centre > Saclay > Innovation > RII Finance > Démos > OrchIDS : détection d'intrusion par analyse en temps réel & corrélation temporelle d'événements

Tookan : recherche automatique de failles de sécurité dans les appareils cryptographiques

La protection des données sensibles dans le monde financier repose sur des appareils cryptographiques tels que les HSMs et les cartes à puces. Malheureusement les interfaces de ces appareils sont difficiles à configurer de manière sûre. Nous présentons Tookan, un logiciel qui analyse ces appareils cryptographiques pour en construire un modèle. Tookan trouve automatiquement des failles de sécurité sur ces modèles et exécute ces attaques directement sur l'appareil pour confirmer leur existence. Tookan peut aussi vérifier que des configurations sont sûres.

Mots-clés :

Accueil > Centre > Saclay > Innovation > RII Finance > Démos > Tookan

DiaSuiteBOX : Le modèle d'innovation des Smartphones appliqué à l'assistance à la personne

L'équipe Inria Phoenix propose un modèle ouvert d'assistance numérique, illustré par sa plate-forme DiaSuiteBOX, et qui offre deux innovations majeures :

- DiaSuiteBOX propose une architecture extensible qui permet de couvrir les nombreuses technologies existantes (Bluetooth, USB, UPnP, etc.) ;

- DiaSuiteBOX inclut un catalogue d'applications ouvert, inspiré des plates-formes de Smartphones, qui promeut un modèle d'innovation à même de couvrir la diversité des besoins des utilisateurs. A la différence des plates-formes de Smartphones, les applications DiaSuiteBOX sont certifiées automatiquement avant d'être mis en ligne dans le catalogue pour garantir des propriétés de sécurité et sûreté.
DiaSuiteBOX est une solution polyvalente qui couvre une variété de domaines d'utilisation incluant la surveillance du domicile (pour la détection d'incendies, d'intrusions, de dégâts des eaux, etc.) et le maintien à domicile (pour l'assistance, la prévention, le maintien du lien social, etc.).

Mots-clés :

Accueil > Centre > Saclay > Innovation > RII Finance > Démos > DiaSuiteBOX

ARCANA Mobile : Plateforme de sécurité

La sécurité des échanges de documents dématérialisés est indispensable à des nombreuses classes d’applications. Cette démonstration présente des outils de sécurité permettant, dans un contexte général de mobilité, de fournir des services de sécurité (confidentialité, authentification, anonymat, non répudiation...) sur des plates-formes et réseaux mobiles.
Ces outils sont développés dans le cadre des travaux menés par le Groupe d’Études et Recherche en Informatique des Systèmes Communicants Sécurisés, ERISCS, à l’Université d’Aix-Marseille sur des techniques cryptographiques nouvelles. Ils intègrent des méthodes permettant d'une part de fournir une sécurité élevée avec une utilisation réduite des ressources, et d'autre part de proposer de nouveaux algorithmes et protocoles de sécurité efficaces et robustes récemment développés.
Les outils sont applicables à la fois côté systèmes d’information (e.g. serveurs) et côté appareils mobiles (smartphones, tablettes,...) en utilisant des réseaux hétérogènes mobiles ou non (Internet, sans-fil, etc).
La démonstration présente la généricité des échanges sécurisés de documents dématérialisés complexes et les outils utilisables sans pénaliser les performances des échanges entre les utilisateurs et divers services (centres financiers, assurances, etc.)