[prev in list] [next in list] [prev in thread] [next in thread] 

List:       xen-devel
Subject:    Re: [Xen-devel] Critique of the Xen Security Process
From:       Low Eel <loweel () gmx ! de>
Date:       2015-11-06 22:42:22
Message-ID: 89333c6c-4c06-481d-9330-7821a0e9d88b () googlegroups ! com
[Download RAW message or body]

[Attachment #2 (multipart/alternative)]


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.

[Attachment #5 (text/html)]

<div dir="ltr"><br>Well exposed, thank you Johanna.<br><br>Just one question: anybody \
knows which EAL level has Xen being certified for?<br><br>The question may seem \
stupid, but I wonder if the approach of closing execution path can survive to \
semiformal or formal verification.<br><br>Thanks<br><br>L.<br></div>



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


[prev in list] [next in list] [prev in thread] [next in thread]