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

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




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

 


Rackspace

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