Security-Enhanced Linux Analysis Tools (slat) 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. SLAT provides a simple syntax by which to express these goals, and tools that check a policy configuration against the goals.
|
|
|
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| alpha | 267.9 kB | 984 kB | [list of files] |
| amd64 (unofficial port) | 243.6 kB | 892 kB | [list of files] |
| arm | 227.1 kB | 768 kB | [list of files] |
| hppa | 247.5 kB | 824 kB | [list of files] |
| i386 | 219.5 kB | 908 kB | [list of files] |
| ia64 | 285.6 kB | 1100 kB | [list of files] |
| powerpc | 247.4 kB | 808 kB | [list of files] |
| sparc | 228.4 kB | 784 kB | [list of files] |