Provably correct microkernel (seL4)

[cwysopal at Veracode.com (Chris Wysopal)]

And presumably before they spent many man years proving implementation correctness they could have spent a fraction of 
that on design review and subsequent design corrections.

-Chris

-----Original Message-----
From: sc-l-bounces at securecoding.org [mailto:sc-l-bounces at securecoding.org] On Behalf Of Gunnar Peterson
Sent: Friday, October 02, 2009 3:21 PM
To: Cassidy, Colin (GE Infra, Energy)
Cc: Secure Code Mailing List
Subject: Re: [SC-L] Provably correct microkernel (seL4)

> design flaws.  So we have only removed 50% of the problem.

for my part there have been many, many days when I would settle for  
solving 50% of a problem

-gunnar
_______________________________________________
Secure Coding mailing list (SC-L) SC-L at securecoding.org
List information, subscriptions, etc - http://krvw.com/mailman/listinfo/sc-l
List charter available at - http://www.securecoding.org/list/charter.php
SC-L is hosted and moderated by KRvW Associates, LLC (http://www.KRvW.com)
as a free, non-commercial service to the software security community.
_______________________________________________