PUMA
Istituto di Informatica e Telematica     
Costa G., Matteucci I. Gate automata-driven run-time enforcement. In: Computers & Mathematics With Applications, vol. 63 (2) pp. 518 - 524. Elsevier, 2012.
 
 
Abstract
(English)
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 (SCT) 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 SCT.
DOI: 10.1016/j.camwa.2011.08.046
Subject Security-by-Contract-with-Trust
Gate automata
Interface automata
Contract monitoring
K.6.5 Security and Protection


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional