Gate automata-driven run-time enforcement

Abstract : Security and trust represent two different perspectives on the problem of guaranteeing the correct interaction among software components. Gate automata have been proposed as a formalism for the specification of both security and trust policies in the scope of the Security-by-Contract-with- Trust (S×C×T) framework. Indeed, they watch the execution of a target program, possibly modifying its behaviour, and produce a feedback for the trust management system. The level of trust changes the environment settings by dynamically activating/deactivating some of the defined gate automata. The goal of this paper is to present gate automata and to show a gate automatadriven strategy for the run-time enforcement in the S×C×T.
Type de document :
Article dans une revue
Computers and Mathematics with Applications, Elsevier, 2012
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00661568
Contributeur : Ilaria Matteucci <>
Soumis le : vendredi 20 janvier 2012 - 09:28:16
Dernière modification le : vendredi 24 novembre 2017 - 13:28:06
Document(s) archivé(s) le : samedi 21 avril 2012 - 02:22:38

Fichier

camwa.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00661568, version 1

Collections

Citation

Ilaria Matteucci, G. Costa. Gate automata-driven run-time enforcement. Computers and Mathematics with Applications, Elsevier, 2012. 〈hal-00661568〉

Partager

Métriques

Consultations de la notice

101

Téléchargements de fichiers

87