Istituto di Informatica e Telematica     
Martinelli F., Matteucci I. Model and Synthesize Security Automata. Technical report, 2006.
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