bibtex

@inproceedings{OUROUA2013

author = OUROUA, Nawel; IOUALALEN, Malika;
title = Use of formal models in Computer Science Security: Modeling of dos Attack;
booktitle = CGE’08,8ème conference sur le Génie Electrique ,
publisher = EMP ,
address = Alger, Algerie ,
month = Avril,
year = 2013, }