[okl4-developer] prove it

[Jorge Torres]

Hi,

About Gernot Heiser's paper "Your System is secure?, prove it!", I wonder:
For a complete proven TCB, shouldn't there be FOUR refinement steps, the
last one being proving the architecture under which the proven microkernel
executes?,

Kind regards,

Jorge
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.okl4.org/pipermail/developer/attachments/20080224/b2833bc3/attachment.htm