From Fedora Project Wiki
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

policy management/generation:

  • reference policy (everyone knows about it; listed for completeness)

http://oss.tresys.com/projects/refpolicy

  • setools, policycoreutils, audit2allow, audit2ref, apol

http://selinux.sourceforge.net/devel/userland.php3

http://www.tresys.com/selinux/selinux_policy_tools.shtml

  • Brickwall

http://www.tresys.com/products/brickwall

  • slat, polgen

http://www.mitre.org/tech/selinux/

  • selinux policy editor (and accompanying simplified policy language)

http://seedit.sourceforge.net/

  • selpec, sellog, selchk

http://www.selinux.hitachi-sk.co.jp/en/tool/selaid/selaid-top.html

  • SLIDE (eclipse plugin, not useful standalone / console?)

http://selinux-ide.sourceforge.net/index.php

  • CDS Framework IDE (no standalone/console mode?)

http://oss.tresys.com/projects/cdsframework

  • SELinux Policy Server

http://www.tresys.com/selinux/selinux_policy_server

  • conditional policy extension

http://tresys.com/files/docs/cond-readme.txt

  • Lopol: A Deductive Database Approach to Policy Analysis and Rewriting

nothing public at this time?

  • CIPSO / IPsec policy hooks / SELinux Protected Paths

nothing public at this time?

  • SENG: An Enhanced Policy Language for SELinux

http://web.ics.purdue.edu/~kuliniew/seng/

Thanks to coderman <coderman@gmail.com>