Skip to Main content Skip to Navigation
Journal articles

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.
Document type :
Journal articles
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Ilaria Matteucci Connect in order to contact the contributor
Submitted on : Friday, January 20, 2012 - 9:28:16 AM
Last modification on : Tuesday, June 1, 2021 - 9:50:04 PM
Long-term archiving on: : Saturday, April 21, 2012 - 2:22:38 AM


Files produced by the author(s)


  • HAL Id : hal-00661568, version 1



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



Record views


Files downloads