Istituto di Informatica e Telematica     
Martinelli F., Matteucci I. Partial mode checking, process algebra operators and satisfiability procedures for (automatically) enforcing security properties. Technical report, 2005.
In this paper we show how the partial model checking approach for the analysis of secure systems may be also useful for enforcing security properties. We define a set of process algebra operators that act as programmable controllers of possibly insecure components. The program of these controllers may be automatically obtained through the usage of satisfiability procedures for a variant of mu-calculus.
Subject Security
Model checking
Information flow
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