Tags:
create new tag
view all tags

Motivazione

G. Zanin and L. V. Mancini. Towards a Formal Model for Security Policies Specification and Validation in the SELinux System. In Proceedings of the 9th ACM Symposium on Access Control Models and Technologies (SACMAT04), June 2004, Yorktown Heights, New York, USA.

L'articolo contiene il primo tentativo di formalizzare il complesso modello di controllo degli accessi del sistema SELinux. SELinux e' un importante progetto open-source sviluppato dalla National Security Agency americana che si sta affermando come uno dei migliori sistemi operativi sicuri disponibili e sta riscuotendo successo nelle comunita' di sviluppatori e ricercatori nell'ambito dei sistemi operativi sicuri. Il formalismo presentato nell'articolo e' chiaro ed essenziale ed e' un valido aiuto per capire i molteplici aspetti e la complessita' di configurazione del sistema. Inoltre e' uno strumento di analisi che permette lo sviluppo di algoritmi per il controllo di proprieta' di arbitrarie configurazioni delle politiche di sicurezza di SELinux.

Edit | Attach | Watch | Print version | History: r2 < r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r2 - 2006-10-10 - AlessandroMei






 
ATTENZIONE: per spostamento su altro server twiki potrÓ essere inattivo per brevi periodi nel pomeriggio di lunedý 8/8.
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2022 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback