Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

19 May, 2024: Line wrapping has been changed to be more consistent with Usenet standards.
 If you find that it is broken please let me know here rocksolid.nodes.help


devel / comp.lang.c++ / Termination Analyzer H prevents Denial of Service attacks

SubjectAuthor
o Termination Analyzer H prevents Denial of Service attacksolcott

1
Termination Analyzer H prevents Denial of Service attacks

<VnadnS8-bIv83xb5nZ2dnZfqlJ9j4p2d@giganews.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=392&group=comp.lang.c%2B%2B#392

  copy link   Newsgroups: comp.lang.c++
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!feeder.usenetexpress.com!tr1.iad1.usenetexpress.com!69.80.99.27.MISMATCH!Xl.tags.giganews.com!local-2.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Thu, 15 Jun 2023 16:54:57 +0000
Date: Thu, 15 Jun 2023 11:54:56 -0500
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101 Thunderbird/102.11.2
Newsgroups: comp.lang.c++
Content-Language: en-US
From: NoO...@NoWhere.com (olcott)
Subject: Termination Analyzer H prevents Denial of Service attacks
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <VnadnS8-bIv83xb5nZ2dnZfqlJ9j4p2d@giganews.com>
Lines: 35
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-deabLMhBYgx9q/6xe9C4UxwHxN1y4xsieHkHCxYuC4FinlSgY/x8o4hKD/R13OmKsKwBtUhnZdXrlOl!j3AK9UokzQcysGgQF0Af9IJaAOn8J76SJ/kuR7E2sxRmWKW8to1xALUhh3zLt5z+xa9nijC+6rs=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
 by: olcott - Thu, 15 Jun 2023 16:54 UTC

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.

When a program input has been specifically defined to confuse a
termination analyzer it is correct to determine that the program
behavior is malevolent.

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.

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.

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.

This reasoning completely overcomes the one key objection to my work
that has persisted for two years.

*Termination Analyzer H prevents Denial of Service attacks*
https://www.researchgate.net/publication/369971402_Termination_Analyzer_H_prevents_Denial_of_Service_attacks

--
Copyright 2023 Olcott

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


devel / comp.lang.c++ / Termination Analyzer H prevents Denial of Service attacks

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor