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

Re: [Xen-devel] Critique of the Xen Security Process

To: qubes-devel <qubes-devel@xxxxxxxxxxxxxxxx>
From: Low Eel <loweel@xxxxxx>
Date: Fri, 6 Nov 2015 14:42:22 -0800 (PST)
Cc: joanna@xxxxxxxxxxxxxxxxxxxxxx, xen-devel@xxxxxxxxxxxxx
Delivery-date: Sun, 08 Nov 2015 08:23:25 +0000
List-id: Xen developer discussion <xen-devel.lists.xen.org>

Well exposed, thank you Johanna.

Just one question: anybody knows which EAL level has Xen being certified for?

The question may seem stupid, but I wonder if the approach of closing execution path can survive to semiformal or formal verification.

Thanks

L.

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel

References:
- [Xen-devel] Critique of the Xen Security Process
  - From: Joanna Rutkowska

Prev by Date: [Xen-devel] [qemu-mainline test] 63741: regressions - trouble: broken/fail/pass
Next by Date: Re: [Xen-devel] Critique of the Xen Security Process
Previous by thread: Re: [Xen-devel] Critique of the Xen Security Process
Next by thread: Re: [Xen-devel] Critique of the Xen Security Process
Index(es):
- Date
- Thread

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