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 | 200.0 kB | 716 kB | [list of files] |
| amd64 | 186.8 kB | 624 kB | [list of files] |
| arm | 167.9 kB | 516 kB | [list of files] |
| armel | 167.9 kB | 520 kB | [list of files] |
| hppa | 196.0 kB | 588 kB | [list of files] |
| i386 | 166.4 kB | 688 kB | [list of files] |
| ia64 | 235.1 kB | 848 kB | [list of files] |
| mips | 190.9 kB | 656 kB | [list of files] |
| mipsel | 188.2 kB | 644 kB | [list of files] |
| powerpc | 186.7 kB | 576 kB | [list of files] |
| s390 | 186.2 kB | 576 kB | [list of files] |
| sparc | 170.4 kB | 544 kB | [list of files] |