PUMA
Istituto di Informatica e Telematica     
Martinelli F., Matteucci I. Model and Synthesize Security Automata. Technical report, 2006.
 
 
Abstract
(English)
We define a set of process algebra operators (controllers) that mimic the security automata introduced by Schneider in [18] and by Ligatti and al. in [4], respectively. We also show how to automatically build these controllers for given security policies.
Subject Security Automata
Security policies
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