IIT Home Page CNR Home Page

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 automata-driven strategy for the run-time enforcement in the S×C×T.


Computers & Mathematics with Applications, 2012

External authors: Gabriele Costa (Università di Genova)
IIT authors:

Type: Article in ISI Journal
Field of reference: Computer Science & Engineering
Da pagina 518 a pagina 524

Activity: Metodi formali per la sicurezza di sistemi ICT