[Top][All Lists]

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

Proven seL4 -> a route for Viengoos?

From: Arne Babenhauserheide
Subject: Proven seL4 -> a route for Viengoos?
Date: Tue, 29 Sep 2009 19:14:52 +0200
User-agent: KMail/1.12.1 (Linux/2.6.30-hh2; KDE/4.3.1; x86_64; ; )

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, 

Attachment: signature.asc
Description: This is a digitally signed message part.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]