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 | 194.2 kB | 696 kB | [list of files] |
| amd64 | 179.4 kB | 608 kB | [list of files] |
| arm | 159.0 kB | 397 kB | [list of files] |
| hppa | 187.8 kB | 564 kB | [list of files] |
| i386 | 159.3 kB | 664 kB | [list of files] |
| ia64 | 227.8 kB | 828 kB | [list of files] |
| mips | 184.8 kB | 636 kB | [list of files] |
| mipsel | 186.3 kB | 640 kB | [list of files] |
| powerpc | 178.5 kB | 556 kB | [list of files] |
| sparc | 161.0 kB | 528 kB | [list of files] |