Re: Coding securely, was Linux (in)security

[Gregory Steuck <greg-fulldisclosure-2003 () nest cx>]

> > > > > "Valdis" == Valdis Kletnieks <Valdis.Kletnieks () vt edu> writes:

    Valdis> All programming languages that are Turing-complete
    Valdis> (basically, anything that has a conditional loop) are prone
    Valdis> to the Turing Halting Problem.

    Valdis> In other words, you can't prevent DoS-via-infinite-loop
    Valdis> based on input.

You still can manage the problem by imposing CPU limits. This is what
multiuser systems have been doing for decades with varying degrees of
success.

_______________________________________________
Full-Disclosure - We believe in it.
Charter: http://lists.netsys.com/full-disclosure-charter.html