Aspects of Availability - Enforcing timed properties to prevent denial of service

Type de document :
Article dans une revue
Science of Computer Programming, Elsevier, 2010, 75 (7), pp.516-542. 〈10.1016/j.scico.2009.10.002〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00665529
Contributeur : Pascal Fradet <>
Soumis le : jeudi 2 février 2012 - 10:52:50
Dernière modification le : lundi 24 septembre 2018 - 11:34:02

Lien texte intégral

Identifiants

Collections

CEA | INRIA | UGA | LIG | DRT | LIG_SRCPR | LIST

Citation

Pascal Fradet, Stéphane Hong Tuan Ha. Aspects of Availability - Enforcing timed properties to prevent denial of service. Science of Computer Programming, Elsevier, 2010, 75 (7), pp.516-542. 〈10.1016/j.scico.2009.10.002〉. 〈hal-00665529〉

Partager

Métriques

Consultations de la notice

207