Re: Coding securely, was Linux (in)security

[Sebastian Herbst <pz () psychozapp de>]

> Duh. That's a complete misunderstanding of the halting problem - which
> is, in essence, that you can't write a program which can predict, in
> general, whether another program will halt. Its perfectly possible to
> write programs that are guaranteed to halt.

The statement was: "There is no programming language that prevents you
from writing insecure code". And that is true, as long as "insecure
code" means vulnerability to DoS. IMHO that would be "incorrect" not
"insecure" code, since an attacker is not able to get sensible data, or
additional rights("shutting down" the service is public right because of
incorrect code). Btw (almost) every programming language gives the
versatile programmer the possibility to write proof-able correct and
secure programs. 

-- 
/~\ The ASCII                         Sebastian Herbst
\ / Ribbon Campaign                   pz () psychozapp de  
 X  Against HTML
/ \ Email!           D90E 548A F4F9 5C1E 67E5  06A7 C426 3827 1568 206D

Attachment: signature.asc
Description: This is a digitally signed message part