Aspects of Availability Enforcing timed properties to prevent denial of service - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2008

Aspects of Availability Enforcing timed properties to prevent denial of service

Résumé

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.
Fichier principal
Vignette du fichier
RR-6754.pdf (469 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00344838 , version 1 (05-12-2008)

Identifiants

  • HAL Id : inria-00344838 , version 1

Citer

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⟩
101 Consultations
310 Téléchargements

Partager

Gmail Facebook X LinkedIn More