Walsh: Secure Virtualization Using SELinux (sVirt)
Walsh: Secure Virtualization Using SELinux (sVirt)
Posted Aug 27, 2009 3:12 UTC (Thu) by njs (subscriber, #40338)In reply to: Walsh: Secure Virtualization Using SELinux (sVirt) by Wol
Parent article: Walsh: Secure Virtualization Using SELinux (sVirt)
> It's maths, therefor, as per Godel, it's either trivial, wrongly spec'd, or wrongly proved.
Out of curiosity, which of those categories do you think Goedel's proof falls into?