HitachiSoft
It is common that operating of Trusted OS or Secure OS would be far too much complicated, thus, it prevents them from widely diffusing(spreding). In this point of view, a powerful tool supporting administrators in operation is required. But SELinux doesn't have such a tool curretly.

Hitachi Software developed a useful tool for this purpose and released by GPL.
(C)Hitachi Software Engineering Co., Ltd. 2004, 2005. All rights reserved.