From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from jazzband.ncsc.mil (jazzband.ncsc.mil [144.51.5.4]) by tycho.ncsc.mil (8.9.3/8.9.3) with ESMTP id KAA26945 for ; Thu, 12 Dec 2002 10:52:34 -0500 (EST) Received: from jazzband.ncsc.mil (localhost [127.0.0.1]) by jazzband.ncsc.mil with ESMTP id gBCFqXI03868 for ; Thu, 12 Dec 2002 15:52:33 GMT Received: from mx.nas-smoothtransition.com (nas-vm-149.nas-smoothtransition.com [66.95.157.149] (may be forged)) by jazzband.ncsc.mil with ESMTP id gBCFqWf03860 for ; Thu, 12 Dec 2002 15:52:33 GMT From: "Frank Mayer" To: "'Serge E. Hallyn'" , "'selinux'" Subject: RE: policy administration Date: Thu, 12 Dec 2002 10:51:12 -0500 Message-ID: <001601c2a1f6$57480680$6600a8c0@columbia.tresys.com> MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" In-Reply-To: <20021130022643.A8018@escher.cs.wm.edu> Sender: owner-selinux@tycho.nsa.gov List-Id: selinux@tycho.nsa.gov Sorry I missed this message earlier, we are doing some work in this area. See our web site (www.tresys.com/selinux) which has information about released tools...within a week or two we're releasing updated versions of our tools and a new *basic* policy browser/editor/config tool. Frank > -----Original Message----- > Behalf Of Serge E. Hallyn > Sent: Saturday, November 30, 2002 2:27 AM > To: selinux > Subject: policy administration > > Hi, > > For the past, er, while, I've been working on tools for dealing > with DTE policies. I'd now like to start applying that to selinux > policies. Briefly, the work spanned from the extremely mundane > (a gui policy editor) to the somewhat less mundane (presenting > graphical representations of relations in policies) to the > stuff I enjoyed more (constructing policies from modules, and > analyzing policies using other MAC systems - ie using the BLP > star-property to introduce relations on types, in a manner similar > to what TIS did in 1998 to allow automatic policy updates*). > > I've been looking at the website and the mailing list, and it > doesn't seem anyone is doing anything like this just yet. If > anyone is, please let me know. > > thanks, > -serge -- 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.