trusted compilers, etc

Tue, 20 Oct 1998 11:50:06 -0400 (EDT)

An article related to this lovely flamewar is at
<URL:>.  It describes
an intermediate code representation that is closer to being program
source code than to being machine instructions like JVM code.  It's
called ANDF.


<>       Kragen Sitaker     <>
A well designed system must take people into account.  . . .  It's hard to
build a system that provides strong authentication on top of systems that
can be penetrated by knowing someone's mother's maiden name.  -- Schneier