slat: Security-Enhanced Linux Analysis Tools1
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. We provide a simple syntax in which to express these goals, and tools that check a policy configuration against the goals.
... part of T2, get it here
Author: The MITRE Corporation
Maintainer: Miguel Bolanos <miguel [at] geekpreview [dot] org>
License: GPL
Status: Stable
Version: 2.0
Download: http://www.mitre.org/tech/selinux/ slat-2.0.tar.gz
T2 source: slat.desc
Build time (on reference hardware): n.a.
Installed size (on reference hardware): n.a.
Dependencies (build time detected): n.a.
Installed files (on reference hardware): n.a.
1) This page was automatically generated from the T2 package source. Corrections, such as dead links, URL changes or typos need to be performed directly on that source.
2) Compatible with Linux From Scratch's "Standard Build Unit" (SBU).