Subject: Re: Verifying a kernel.
To: Steven M.Bellovin <smb@cs.columbia.edu>
From: Jason Thorpe <thorpej@shagadelic.org>
List: tech-kern
Date: 07/20/2005 09:30:36
On Jul 20, 2005, at 9:15 AM, Steven M. Bellovin wrote:

> In message <8581520D-6EBA-44E7-B311-82EF3155D1D0@shagadelic.org>,  
> Jason Thorpe
> There's a subtle distinction here between a *safety* algorithm and a
> *security* algorithm.  The former deals with naturally-occuring
> failures; the latter deals with enemy action.  The two are not the
> same.  If I (and Jason) correctly understand Matt's question, we're
> talking about a safety algorithm.  MD5 is fine for that.  CRC32 is
> probably not, though -- the size of the kernel is such that the
> probability of an undetected error is too high.

Right.  Steven and I are definitely on the same page here...

-- thorpej