COMMUNICATIONS DANS DES CONFERENCES NATIONALES

  • N. Ouroua, M. Ioualalen, Use of formal models in Computer Science Security: Modeling of dos Attack, CGE’08, 8ème conference sur le Génie Electrique, EMP, 16-17 Avril, 2013 Alger.
  • N. Ouroua, M. Ioualalen, Use of formal models in Computer Science Security: Modeling of SYN/TCP Attack and performances evaluation, Workshop International EPQoS’2013,, 5 ET 6 Mai, Bejaia 2013.
  • N. Ouroua, M. Ioualalen, Utilisation des modèles formels dans la sécurité informatique, AID'2012, Mai ,USTHB.
  • M. Taibi.  Formalisation des SMA par les RdP: Application à l'étude d'un système E-commerce. Cinquièmes Journées Scientifiques du Laboratoire des Systèmes Informatiques - L.S.I  2011, Alger.
  • M. Taibi, M. Ioualaen, M.C. Boukala, Distributed Performance Evaluation, 02-04 Novembre 2010, SNIB'2010, Biskra.
  • M. Taibi. Distributed Performance Evaluation, Quatrièmes Journées Scientifiques du Laboratoire des Systèmes Informatiques - L.S.I  2010, Alger.