[clug] Anti-Virus Software
sam at couter.id.au
Tue Jun 22 04:50:47 MDT 2010
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
Size: 198 bytes
Desc: Digital signature
More information about the linux