From Fedora Project Wiki

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>