From owner-freebsd-hackers Wed Mar 14 13:10:37 2001 Delivered-To: freebsd-hackers@freebsd.org Received: from dragon.nuxi.com (trang.nuxi.com [209.152.133.57]) by hub.freebsd.org (Postfix) with ESMTP id 7115C37B71D for ; Wed, 14 Mar 2001 13:10:35 -0800 (PST) (envelope-from obrien@NUXI.com) Received: (from obrien@localhost) by dragon.nuxi.com (8.11.3/8.11.1) id f2ELAYS03357 for freebsd-hackers@freebsd.org; Wed, 14 Mar 2001 13:10:34 -0800 (PST) (envelope-from obrien) Date: Wed, 14 Mar 2001 13:10:34 -0800 From: "David O'Brien" To: freebsd-hackers@freebsd.org Subject: Re: if_fxp - the real point Message-ID: <20010314131034.A3308@dragon.nuxi.com> Reply-To: freebsd-hackers@freebsd.org References: <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> <20010314113734.G29888@fw.wintelcom.net> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <20010314113734.G29888@fw.wintelcom.net>; from bright@wintelcom.net on Wed, Mar 14, 2001 at 11:37:34AM -0800 X-Operating-System: FreeBSD 5.0-CURRENT Organization: The NUXI BSD group X-Pgp-Rsa-Fingerprint: B7 4D 3E E9 11 39 5F A3 90 76 5D 69 58 D9 98 7A X-Pgp-Rsa-Keyid: 1024/34F9F9D5 Sender: owner-freebsd-hackers@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG On Wed, Mar 14, 2001 at 11:37:34AM -0800, Alfred Perlstein wrote: > > 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") > > How does one get the forms for these sort of grants? :) Write white paper, submit to M$. Or network at conference, have M$ friend tell you a proposal would be meet open arms. The typical University/research way of getting [commercial] grants. -- -- David (obrien@FreeBSD.org) GNU is Not Unix / Linux Is Not UniX To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-hackers" in the body of the message