|
|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
|
slat
| slat | Tools for information flow analysis of SELinux policies | | Priority | |
| Section | admin |
| Installed size | 664 |
| Maintainer | Manoj Srivastava <srivasta@debian.org> |
| Architecture | i386 |
| Version | 2.0-3 |
| Depends | libc6 (>= 2.3.6-6) |
| Suggests | slashem-x11 | slashem-sdl | slashem-gtk |
| File name | pool/main/s/slat/slat_2.0-3_i386.deb |
| Description | 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. |
|
|
|
Etude RTOS