[COPY] --- T2-COPYRIGHT-NOTE-BEGIN --- [COPY] T2 SDE: package/*/slat/slat.desc [COPY] Copyright (C) 2004 - 2022 The T2 SDE Project [COPY] [COPY] This Copyright note is generated by scripts/Create-CopyPatch, [COPY] more information can be found in the files COPYING and README. [COPY] [COPY] This program is free software; you can redistribute it and/or modify [COPY] it under the terms of the GNU General Public License version 2. [COPY] --- T2-COPYRIGHT-NOTE-END --- [I] Security-Enhanced Linux Analysis Tools [T] Security-Enhanced Linux Analysis Tools (slat) provide a systematic way [T] to determine if security goals are achieved by a given SELinux policy [T] configuration. In particular, slat is concerned with information flow [T] security goals, which describe desired paths by which information [T] moves throughout a system. We provide a simple syntax in which to [T] express these goals, and tools that check a policy configuration [T] against the goals. [A] The MITRE Corporation [M] Miguel Bolanos [C] extra/security [L] GPL [S] Stable [V] 2.0 [P] O -----5---9 811.008 [D] 867383b00746c784a461e0d826d3b883d0cefe7d86661d785d8d6995 slat-2.0.tar.gz http://www.mitre.org/tech/selinux/