Gate automata-driven run-time enforcement - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Computers & Mathematics with Applications Year : 2012

Gate automata-driven run-time enforcement


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
Origin : Files produced by the author(s)

Dates and versions

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


  • HAL Id : hal-00661568 , version 1


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


61 View
84 Download


Gmail Facebook X LinkedIn More