ANN: Polgen 1.3, now with PSL

MITRE's SE Linux team is pleased to announce the latest release of our tool suite for Guided Automated policy generation. Polgen 1.3 is now available at

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

Our principal new feature is Polgen Specification Language (PSL), an architecture description language that allows application authors to leverage their knowledge of application's designs. They can use PSL and Polgen to easily produce high-quality SE Linux policy. Much information on using PSL can be found in the included manual, with additional background available in our recent paper, "Guided Policy Generation for Application Authors," published at the 2006 SE Linux Symposium:

    http://www.selinux-symposium.org/

We're also excited about our new development environment at Sourceforge. Polgen development will now be conducted in the open. We are hopeful that this will improve both the quality of the Polgen code and the visibility to and involvement of the SE Linux community. You can see our freshly uploaded source tree, or a copy of the recent paper, at

    http://polgen.sf.net/

By all means, stop by and subscribe to the polgen-user or polgen-devel mailing lists.

--

Brian T. Sniffen                                      bsniffen@mitre.org
The MITRE Corporation                                       781-271-2904

--

This message was distributed to subscribers of the selinux mailing list. If you no longer wish to subscribe, send mail to majordomo@tycho.nsa.gov with the words "unsubscribe selinux" without quotes as the message. Received on Thu 16 Mar 2006 - 09:47:46 EST