[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


  • To: xen-devel@xxxxxxxxxxxxxxxxxxxxx
  • 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= ;
  • List-id: List for Xen developers <xen-devel.lists.sourceforge.net>

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


 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.