PUMA
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.
 
 
Abstract
(English)
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