[clug] Anti-Virus Software

[Sam Couter]

Ivan Miljenovic <ivan.miljenovic at gmail.com> wrote:
> Also, people at NICTA have proven an L4 kernel correct and secure (not
> used anywhere yet though).

I think they also assumed the compiler is generating correct code. And
the compiler is software, which as we know will always contain bugs...
-- 
Sam Couter         |  mailto:sam at couter.id.au
OpenPGP fingerprint:  A46B 9BB5 3148 7BEA 1F05  5BD5 8530 03AE DE89 C75C
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: Digital signature
URL: <http://lists.samba.org/pipermail/linux/attachments/20100622/dda46028/attachment.pgp>