Groups | Search | Server Info | Login | Register

Groups > comp.theory > #64901

Re: Termination Analyzer H prevents Denial of Service attacks

Cross-posted to 3 groups.

Show all headers | View raw

On 6/15/2023 11:57 AM, Richard Damon wrote:
> On 6/15/23 12:50 PM, olcott wrote:
>> A termination analyzer is an ordinary computer program that is supposed
>> to determine whether or not its input program will ever stop running or
>> gets stuck in infinite execution.
>>
> 
> Right, THE PROGRAM, not the simulation of the program by the analyzer.
> 
>> When a program input has been specifically defined to confuse a
>> termination analyzer it is correct to determine that the program
>> behavior is malevolent.
>>
> 
> Nope, since the PROGRAM stops, the only correct answer (if you analyser 
> is supposed to be accurate) is to say it stops.
> 
> If you are allowing FALSE answers,
> 
>> Prior to my work nothing could be done about inputs having a
>> pathological relationship to their termination analyzer. Prior to my
>> work Rice's theorem prevented this pathological relationship from being
>> recognized.
>>
> 
> Because there was no need to even try to define "pathological inputs", 
> as the deciders are defined to work for ALL input.
> 
>> The pathological relationship is when an input program D is defined to
>> do the opposite of whatever its termination analyzer H says it will do.
>> If H says that D will stop running D runs an infinite loop. If H says
>> that D will never stop running, D immediately stops running.
> 
> 
> Right, so H is just wrong.
> 
>>
>> When H(D,D) returns 0 this means that the input does not halt or the
>> input has pathological behavior that would otherwise cause the
>> termination analyzer to not halt. This means that the program has either
>> a non-termination bug or the program has malevolent behavior.
> 
> But Malevolent behaior is ALLOWED by the problem, so H is just wrong.
> 
>>
>> This reasoning completely overcomes the one key objection to my work
>> that has persisted for two years.
> 
> Nope, just proves that you don't understand what requirements mean.
> 
>>
>> *Termination Analyzer H prevents Denial of Service attacks*
>> https://www.researchgate.net/publication/369971402_Termination_Analyzer_H_prevents_Denial_of_Service_attacks
>>
> 
> Since D(D) Halts, the ONLY correct answer for H(D,D) is Halting, so the 
> fact it says non-halting says it is NOT a correct Halt Decider.
> 
> Maybe it is a correct POOP decider, but then you need to find a use for 
> your POOP.

*THERE IS NO WAY AROUND THIS VERIFIED FACT*
H returns 0 indicating that:
(a) D does not halt
(b) D has a pathological relationship to H that would prevent H from 
halting.

The algorithm used by H provides a way for DoS detectors and termination
analyzers to reject inputs having the halting problem's pathological
relationship to H.



-- 
Copyright 2023 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Termination Analyzer H prevents Denial of Service attacks olcott <polcott2@gmail.com> - 2023-06-15 11:50 -0500
  Re: Termination Analyzer H prevents Denial of Service attacks Richard Damon <Richard@Damon-Family.org> - 2023-06-15 12:57 -0400
    Re: Termination Analyzer H prevents Denial of Service attacks olcott <polcott2@gmail.com> - 2023-06-15 12:31 -0500
      Re: Termination Analyzer H prevents Denial of Service attacks Richard Damon <Richard@Damon-Family.org> - 2023-06-15 15:58 -0400
        Re: Termination Analyzer H prevents Denial of Service attacks olcott <polcott2@gmail.com> - 2023-06-15 15:29 -0500
          Re: Termination Analyzer H prevents Denial of Service attacks Richard Damon <Richard@Damon-Family.org> - 2023-06-15 17:16 -0400
            Re: Termination Analyzer H prevents Denial of Service attacks olcott <polcott2@gmail.com> - 2023-06-15 18:56 -0500
              Re: Termination Analyzer H prevents Denial of Service attacks Richard Damon <Richard@Damon-Family.org> - 2023-06-15 21:41 -0400
                Re: Termination Analyzer H prevents Denial of Service attacks olcott <polcott2@gmail.com> - 2023-06-15 21:00 -0500
                Re: Termination Analyzer H prevents Denial of Service attacks Richard Damon <Richard@Damon-Family.org> - 2023-06-15 22:32 -0400
                Re: Termination Analyzer H prevents Denial of Service attacks olcott <polcott2@gmail.com> - 2023-06-15 22:00 -0500
                Re: Termination Analyzer H prevents Denial of Service attacks Richard Damon <Richard@Damon-Family.org> - 2023-06-15 23:17 -0400
                Re: Termination Analyzer H prevents Denial of Service attacks olcott <polcott2@gmail.com> - 2023-06-15 22:39 -0500
                Re: Termination Analyzer H prevents Denial of Service attacks Richard Damon <Richard@Damon-Family.org> - 2023-06-16 07:45 -0400
                Re: Termination Analyzer H prevents Denial of Service attacks olcott <polcott2@gmail.com> - 2023-06-16 09:38 -0500
                Re: Termination Analyzer H prevents Denial of Service attacks Richard Damon <Richard@Damon-Family.org> - 2023-06-16 19:45 -0400

csiph-web