Document: slat
Title: SLAT User Manual
Author: Joshua D. Guttman, Amy L. Herzog, John D. Ramsdell
Abstract: This document describes how to use the SELinux Analysis Tools
 (slat), which provide a systematic way to determine if security goals
 are achieved by a given SELinux policy configuration. In particular,
 slat is concerned with information flow security goals, which
 describe desired paths by which information moves throughout a
 system. We provide a simple syntax in which to express these
 goals. We envision slat usage to be ongoing: whenever a system's
 policy configuration is modified, slat can be used to ensure
 continued enforcement of the pre-existing security goals.
Section: Apps/System


Format: HTML
Files: /usr/share/doc/slat/slat.html
Index: /usr/share/doc/slat/slat.html

Format: text
Files: /usr/share/doc/slat/disk.txt.gz
