From: Eliezer Yudkowsky (sentience@pobox.com)
Date: Mon Dec 23 1996 - 17:40:33 MST
> Reliable verification is, of course, impossible (remember the Halting
> Problem?).
Exquislay myaw? Perfect verification is impossible in the sense of
detecting those programs, *and* *only* *those* *programs*, which violate
security. If you're willing to stop some innocent programs, complete
verification is easy. And since no Java compiler that I know of
produces secure but (currently) unverifiable code, there's no problem.
--
sentience@pobox.com Eliezer S. Yudkowsky
http://tezcat.com/~eliezer/singularity.html
http://tezcat.com/~eliezer/algernon.html
Disclaimer: Unless otherwise specified, I'm not telling you
everything I think I know.
This archive was generated by hypermail 2.1.5 : Fri Nov 01 2002 - 14:35:55 MST