[Xen-devel] XSM/Flask Default policy and Testing

To:	<xen-devel@xxxxxxxxxxxxxxxxxxx>
Subject:	[Xen-devel] XSM/Flask Default policy and Testing
From:	"Ahmed, Farid" <Farid.Ahmed@xxxxxxxxxx>
Date:	Fri, 24 Oct 2008 09:53:02 -0400
Delivery-date:	Fri, 24 Oct 2008 06:53:36 -0700
Envelope-to:	www-data@xxxxxxxxxxxxxxxxxxx
In-reply-to:	<APLEXAX86wlyY0cqvPV00051da3@xxxxxxxxxxxxxxxxxxxxxx>
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/mailman/listinfo/xen-devel>, <mailto:xen-devel-request@lists.xensource.com?subject=subscribe>
List-unsubscribe:	<http://lists.xensource.com/mailman/listinfo/xen-devel>, <mailto:xen-devel-request@lists.xensource.com?subject=unsubscribe>
References:	<APLEXAX86wlyY0cqvPV00051da3@xxxxxxxxxxxxxxxxxxxxxx>
Sender:	xen-devel-bounces@xxxxxxxxxxxxxxxxxxx
Thread-index:	Ack1k3U6pdzwWbFtRk2U+jpeTyeaUAAS6kPA
Thread-topic:	XSM/Flask Default policy and Testing

 Hello everyone,
I have two questions related to the XSM/Flask default policy.
1. Is there any documentation of what the default policy (or Dom0/DomU
usage model) is supposed to do?
2. Is there any tool that may help the policy writing and especially
testing XSM/Flask policy? How do we verify the policy is working?

Thanks
Farid


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

Previous by Date:	[Xen-devel] Web site Developers, crazy price,quality assured
Next by Date:	Re: [Xen-devel] XSM/Flask Default policy and Testing, George S. Coker, II
Previous by Thread:	[Xen-devel] Web site Developers, crazy price,quality assured
Next by Thread:	Re: [Xen-devel] XSM/Flask Default policy and Testing, George S. Coker, II
Indexes:	[Date] [Thread] [Top] [All Lists]

WARNING - OLD ARCHIVES

xen-devel

[Xen-devel] XSM/Flask Default policy and Testing