Am Dienstag, 29. September 2009 16:40:08 schrieb Marcus Brinkmann: > If you are interested in proven security, the seL4 people just announced > successful verification of their kernel (see any recent item on > www.l4hq.org ).
I just had a look at it, and the article they link to states that the technique could be adapted for more complex kernels, so having a proven kernel can now in principle be done on any base. Maybe this could also help bringing Viengoos forward, since people might invest in it if it gives them something they can't get otherwise. Best wishes, Arne
signature.asc
Description: This is a digitally signed message part.
