AccueilContactConnexionAnglais | A+ A - |  
Laboratoire de Recherche en Sécurité Informatique
À suivre ...
20/12/2009
Soutenance de mémoire de maîtrise de Ibrahim Keita:
Sécurité des services web. Directeur de recherche: Kamel Adi, Michal Iglewski
20/12/2009
Soutenance de mémoire de maîtrise de Ikhlass Hattak:
Analyse formelle de politique de sécurité. Directeur de recherche: Kamel Adi

 

Laboratoire de Recherche en Sécurité Informatique

Le laboratoire a pour principale mission d'effectuer de la recherche fondamentale et appliquée dans le domaine de la sécurité informatique : sécurité des données, des applications et des systèmes de communication.

Nos recherches visent le développement et l'application de méthodes formelles et rigoureuses pour la résolution des problématiques liées à la sécurité informatique et nous avons pour but d'apporter des solutions concrètes, solides et convaincantes pour les objectifs suivants :

  • Mise en place d'un cadre et d'outils logiciels pour le développement formel et systématique des protocoles de sécurité et des protocoles de e-commerce
  • Élaboration de techniques formelles et d'outils informatiques pour la vérification des systèmes de détection d'intrusions
  • Élaboration de méthodologies pour la vérification et l'analyse des configurations dans les systèmes pare-feux
  • Élaboration de techniques de détection de codes malicieux dans les logiciels
  • Compilation certifiée

Nouvelles

Soutenance de mémoire de maîtrise

Luke Sullivan a soutenu son mémoire de maîtrise le vendredi 5 mai 2006 à 15h00 au pavillon Lucien-Brault de l'UQO. Titre du mémoire : «La correction des protocoles de non-répudiation» Directeur de recherche : Kamel Adi

Présentation de projet de mémoire

Luke Sullivan va présenter son projet de mémoire intitulé 'La correction des protocoles de non-répudiation'. Directeur de recherche : Kamel Adi

Bourses de maîtrise

Des bourses d'excellence de maîtrise d'une valeur de 12, 600$ par an sont offertes pour des étudiants désirant accomplir des recherches en sécurité informatique au sein du laboratoire LRSI de l'Université du Québec en Outaouais. Pour plus de détails sur les activités de recherche du LRSI, consultez le site web du groupe à l'adresse http://w3.uqo.ca/lrsi Personne Contact : Prof. Kamel Adi, Département d'informatique et d'ingénierie Université du Québec en Outaouais C.P. 1250, succ. Hull Gatineau, Québec J8X 3X7 e-mail: Kamel.Adi@uqo.ca

Soutenance de mémoire de maîtrise

Liviu Pene va soutenir son mémoire de maîtrise le vendredi 11 juin 2004 à 13h30 au pavillon Lucien-Brault de l'UQO. Titre du mémoire : Formal Methods for Security Protocol Correctness Directeur de recherche : Kamel Adi

Dîner-pizza du LRSI

Ce mercredi 12 mai à 12h00, le LRSI organise un dîner-pizza pour souligner l'ouverture de ses laboratoires.

Lancement officiel

Bienvenue sur le site du Laboratoire de Recherche en Sécurité Informatique de l'Université du Québec en Outaouais.

Archives »

 

© Laboratoire de Recherche pour la Sécurité Informatique, 2010 - Département d'informatique et d'ingénierie - Université du Québec en Outaouais
XHTML CSS