bibtex

@inproceedings{OUROUA2012

author = OUROUA, Nawel; IOUALALEN, Malika;
title = Utilisation des modèles formels dans la sécurité informatique;
booktitle = AID'2012 ,
address = BAB EZZOUAR USTHB, Algerie ,
month = Mai,
year = 2012, }