Date: Wed, 14 Mar 2001 13:43:14 -0800 From: Alfred Perlstein <bright@wintelcom.net> To: Dennis <dennis@etinc.com> Cc: hackers@FreeBSD.ORG Subject: Re: if_fxp - the real point Message-ID: <20010314134314.M29888@fw.wintelcom.net> In-Reply-To: <5.0.0.25.0.20010314165014.03dcb7b0@mail.etinc.com>; from dennis@etinc.com on Wed, Mar 14, 2001 at 04:51:14PM -0500 References: <20010314090915.D29888@fw.wintelcom.net> <200103092332.f29NW4785782@gollum.esys.ca> <20010309221250.2384337B71B@hub.freebsd.org> <200103092332.f29NW4785782@gollum.esys.ca> <20010314123503.C74704@daemon.ninth-circle.org> <5.0.0.25.0.20010314110743.02373a00@mail.etinc.com> <20010314090915.D29888@fw.wintelcom.net> <20010314104748.A31046@dragon.nuxi.com> <5.0.0.25.0.20010314165014.03dcb7b0@mail.etinc.com>
next in thread | previous in thread | raw e-mail | index | archive | help
* Dennis <dennis@etinc.com> [010314 13:36] wrote: > At 01:47 PM 03/14/2001, you wrote: > >On Wed, Mar 14, 2001 at 09:09:15AM -0800, Alfred Perlstein wrote: > > > how many times does windows crash because of poorly written drivers > > > rather than flaws in the core OS? (*) > > > >ALL the time. Microsoft has given the UC-Davis security and formal > >verification lab a multi-year grant to look at this problem. > >(the approach being researched is "model checking") > > Why would they need to do that? Every time you load a program it updates > the libraries, breaking older programs. Its a philosophical problem. You > dont need a grant to figure it out. I think the money is for the solution. :) -- -Alfred Perlstein - [bright@wintelcom.net|alfred@freebsd.org] To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-hackers" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20010314134314.M29888>