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.5 kB | 696 kB | [list of files] |
| amd64 | 183.6 kB | 612 kB | [list of files] |
| arm | 166.7 kB | 516 kB | [list of files] |
| armel | 167.2 kB | 516 kB | [list of files] |
| hppa | 194.4 kB | 568 kB | [list of files] |
| i386 | 164.5 kB | 452 kB | [list of files] |
| ia64 | 231.3 kB | 832 kB | [list of files] |
| mips | 186.4 kB | 628 kB | [list of files] |
| mipsel | 183.8 kB | 624 kB | [list of files] |
| powerpc | 185.6 kB | 576 kB | [list of files] |
| s390 | 190.7 kB | 584 kB | [list of files] |
| sparc | 167.2 kB | 532 kB | [list of files] |