WARNING - OLD ARCHIVES

This is an archived copy of the Xen.org mailing list, which we have preserved to ensure that existing links to archives are not broken. The live archive, which contains the latest emails, can be found at http://lists.xen.org/
   
 
 
Xen 
 
Home Products Support Community News
 
   
 

xen-devel

Re: [Xen-devel] sHype Hypervisor Security Architecture for Xen

To: xen-devel@xxxxxxxxxxxxxxxxxxxxx
Subject: Re: [Xen-devel] sHype Hypervisor Security Architecture for Xen
From: Jeff Marshall <jeffrey_g_marshall@xxxxxxxxx>
Date: Mon, 17 Jan 2005 12:40:40 -0800 (PST)
Comment: DomainKeys? See http://antispam.yahoo.com/domainkeys
Delivery-date: Tue, 18 Jan 2005 02:04:19 +0000
Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; b=cgIh9DvQkWqReILkXibMd/krjsPckvFLhCfkFEwHOnVO7KBP5mwZ/YCmMiD4ql/mQ08kWKEdDMJ0NaVoaBk5xXQ2fdz/m/KxHHXGHiw0+zQkxDyDls3wXqqsmZLluKwtefHXvqP1S+Sa6z2PDK60TlUPzDQUsPGQVOLZW19S68M= ;
Envelope-to: xen+James.Bulpin@xxxxxxxxxxxx
List-archive: <http://sourceforge.net/mailarchive/forum.php?forum=xen-devel>
List-help: <mailto:xen-devel-request@lists.sourceforge.net?subject=help>
List-id: List for Xen developers <xen-devel.lists.sourceforge.net>
List-post: <mailto:xen-devel@lists.sourceforge.net>
List-subscribe: <https://lists.sourceforge.net/lists/listinfo/xen-devel>, <mailto:xen-devel-request@lists.sourceforge.net?subject=subscribe>
List-unsubscribe: <https://lists.sourceforge.net/lists/listinfo/xen-devel>, <mailto:xen-devel-request@lists.sourceforge.net?subject=unsubscribe>
Sender: xen-devel-admin@xxxxxxxxxxxxxxxxxxxxx
Has anyone from the Xen community been following the
development of the draft "U.S. Government Protection
Profile for Separation Kernels in Environments
Requiring High Robustness", which has lately been
discussed at Open Group?

http://www.niap.nist.gov/pp/draft_pps/pp_draft_skpp_hr_v0.621.html

The concept of a separation kernel in that protection
profile has a fair amount of overlap with Xen,
although the match is not complete (i.e. configuration
data is static in the SKPP). Still, the PP has some
interesting xen-relevant bits if you're willing to
wade through the boilerplate that permeates protection
profiles. In any case, while I doubt Xen will ever
pursue Common Criteria evaluation under this profile,
the security-concious portion of the Xen community
might get something out of reading it.

Regards,

Jeff Marshall
jeffrey_g_marshall@xxxxxxxxx



                
__________________________________ 
Do you Yahoo!? 
Yahoo! Mail - now with 250MB free storage. Learn more.
http://info.mail.yahoo.com/mail_250


-------------------------------------------------------
The SF.Net email is sponsored by: Beat the post-holiday blues
Get a FREE limited edition SourceForge.net t-shirt from ThinkGeek.
It's fun and FREE -- well, almost....http://www.thinkgeek.com/sfshirt
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxxx
https://lists.sourceforge.net/lists/listinfo/xen-devel