xense-devel

[Top] [All Lists]

[Xen-devel][Xense-devel][1/1] Flask XSM Development Policy

from [George S. Coker, II]

[Permanent Link][Original]

To:	xen-devel@xxxxxxxxxxxxxxxxxxx, xense-devel@xxxxxxxxxxxxxxxxxxx
Subject:	[Xen-devel][Xense-devel][1/1] Flask XSM Development Policy
From:	"George S. Coker, II" <gscoker@xxxxxxxxxxxxxx>
Date:	Thu, 08 Mar 2007 10:28:57 -0500
Delivery-date:	Thu, 08 Mar 2007 07:31:23 -0800
Envelope-to:	www-data@xxxxxxxxxxxxxxxxxx
List-help:	<mailto:xen-devel-request@lists.xensource.com?subject=help>
List-id:	Xen developer discussion <xen-devel.lists.xensource.com>
List-post:	<mailto:xen-devel@lists.xensource.com>
List-subscribe:	<http://lists.xensource.com/cgi-bin/mailman/listinfo/xen-devel>, <mailto:xen-devel-request@lists.xensource.com?subject=subscribe>
List-unsubscribe:	<http://lists.xensource.com/cgi-bin/mailman/listinfo/xen-devel>, <mailto:xen-devel-request@lists.xensource.com?subject=unsubscribe>
Sender:	xen-devel-bounces@xxxxxxxxxxxxxxxxxxx

This post contains a sample policy to be used for experimentation and
development with the Flask XSM module posted previously.  This policy is
incomplete and cannot be used with the Flask module in enforcing mode.

This policy is written using the SELinux policy grammar and compiled
using the checkpolicy toolchain > 1.19 (policy version 20).  Fedora Core
5 and later versions have the appropriate toolchain.  The compiled
policy must be listed as one of the bootloader modules after the dom0
kernel.

Signed-off-by: George Coker <gscoker@xxxxxxxxxxxxxx>

policy-flask-030707.tar.gz
Description: application/compressed-tar

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel

[More with this subject...]

<Prev in Thread]	Current Thread	[Next in Thread>
[Xen-devel][Xense-devel][1/1] Flask XSM Development Policy, George S. Coker, II <=

Previous by Date:	[Xen-devel][Xense-devel][PATCH][XSM][4/4] Xen Security Modules ACM Module, George S. Coker, II
Next by Date:	Re: [Xen-devel][Xense-devel][PATCH][XSM][1/4] Xen Security Modules Patch, Alex Williamson
Previous by Thread:	[Xen-devel][Xense-devel][PATCH][XSM][4/4] Xen Security Modules ACM Module, George S. Coker, II
Next by Thread:	[Xense-devel] vtpm_managerd problem with Infineon TPM 1.2, Maximilian Loy
Indexes:	[Date] [Thread] [Top] [All Lists]