Aspects of Availability Enforcing timed properties to prevent denial of service

Abstract : We propose a domain-specific aspect language to prevent denial of service caused by resource management. Our aspects specify availability policies by enforcing time limits in the allocation of resources. In our language, aspects can be seen as formal timed properties on execution traces. Programs and aspects are specified as timed automata and the weaving process as an automata product. The benefit of this formal approach is two-fold: the user keeps the semantic impact of weaving under control and (s)he can use a model-checker to optimize the woven program and verify availability properties.
Type de document :
Rapport
[Research Report] RR-6754, INRIA. 2008, pp.37
Liste complète des métadonnées

Littérature citée [30 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00344838
Contributeur : Pascal Fradet <>
Soumis le : vendredi 5 décembre 2008 - 18:50:13
Dernière modification le : mercredi 31 janvier 2018 - 12:10:24
Document(s) archivé(s) le : lundi 7 juin 2010 - 23:49:16

Fichier

RR-6754.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00344838, version 1

Collections

Citation

Pascal Fradet, Stéphane Hong Tuan Ha. Aspects of Availability Enforcing timed properties to prevent denial of service. [Research Report] RR-6754, INRIA. 2008, pp.37. 〈inria-00344838〉

Partager

Métriques

Consultations de la notice

300

Téléchargements de fichiers

377