Gate automata-driven run-time enforcement - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Computers & Mathematics with Applications Année : 2012

Gate automata-driven run-time enforcement

Résumé

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

Dates et versions

hal-00661568 , version 1 (20-01-2012)

Identifiants

  • HAL Id : hal-00661568 , version 1

Citer

Ilaria Matteucci, G. Costa. Gate automata-driven run-time enforcement. Computers & Mathematics with Applications, 2012. ⟨hal-00661568⟩

Collections

CONNECT
61 Consultations
84 Téléchargements

Partager

Gmail Facebook X LinkedIn More