[146763] in North American Network Operators' Group
Re: First real-world SCADA attack in US
daemon@ATHENA.MIT.EDU (Valdis.Kletnieks@vt.edu)
Tue Nov 22 00:29:22 2011
To: Jussi Peltola <pelzi@pelzi.net>
In-Reply-To: Your message of "Tue, 22 Nov 2011 07:11:43 +0200."
<20111122051142.GJ21062@pokute.pelzi.net>
From: Valdis.Kletnieks@vt.edu
Date: Tue, 22 Nov 2011 00:27:48 -0500
Cc: nanog@nanog.org
Errors-To: nanog-bounces+nanog.discuss=bloom-picayune.mit.edu@nanog.org
--==_Exmh_1321939668_3002P
Content-Type: text/plain; charset=us-ascii
On Tue, 22 Nov 2011 07:11:43 +0200, Jussi Peltola said:
> Anybody who has seen what kind of bizarre malfunctions failed
> electrolytics cause in consumer electronics will probably not feel very
> comfortable trusting traffic lights whose safety relies on software that
> is proven correct.
Beware of bugs in the above code; I have only proved it correct, not tried it.
-- Donald Knuth
:)
--==_Exmh_1321939668_3002P
Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Exmh version 2.5 07/13/2001
iD8DBQFOyzLUcC3lWbTT17ARArabAKCl58K4bVA5STQUnctEHtDOk/O+WQCfWfhr
VSYQ0aBdR6DEuDrKpbe4ink=
=rdRw
-----END PGP SIGNATURE-----
--==_Exmh_1321939668_3002P--
