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] |
| armel | 167.2 kB | 516 kB | [list of files] |
| avr32 (unofficial port) | 199.1 kB | 580 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] |
| kfreebsd-amd64 | 185.8 kB | 544 kB | [list of files] |
| kfreebsd-i386 | 168.9 kB | 446 kB | [list of files] |
| m68k (unofficial port) | 160.6 kB | 524 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] |