My ultimate goal in the quest of the existence or absence of undetectable viruses is not to find undetectable viruses. But, I hope to advance our understanding...
52
Sung Yang
sung@...
Oct 5, 1999 6:09 pm
I guess we are used to selective quotes. In fact, we do not have such policy or guideline. I found your ideas interesting in general. Thanks for your ...
53
Sung Yang
sung@...
Oct 6, 1999 4:19 pm
This is off the research topics. I had chances to chat about open source free antivirus with several VB'99 attendees in Vancouver. I'd like to share some...
54
Bechtel, Kenneth L
klbechtel@...
Oct 6, 1999 6:08 pm
Sorry I missed you at VB. Several items on this note. There are already several freeware (I know they are not open source) products available for home...
55
dan_schrader@...
Oct 6, 1999 8:41 pm
The idea is purely academic - the AV market is dominated by 3 players - Trend Micro, NAI and Symantec who will never go open source. Support for AV is also...
56
Bechtel, Kenneth L
klbechtel@...
Oct 7, 1999 11:26 am
Very valid point on the support issues, and protection at the ISPs. However, realizing we'll never reach and educate everyone, the better educated the user...
57
Sung Yang
sung@...
Oct 11, 1999 6:47 pm
Are theorems only applicable to viruses? This is a question that I got from one of audience, however, no immediate answer was given after my presentation on...
58
chess@...
Oct 11, 1999 8:14 pm
If by "algorithm A is a perfect virus detector" we mean "for any program P, A(P) is 1 if P does viral things when run, and A(P) is zero otherwise", then ...
59
M. en C. Eduardo Ren€...
e.r.rodriguez@...
Oct 12, 1999 11:18 am
This remind me one book I read some time ago: Douglas Hoftstadter's "Escher, Gödel and Bach: An Eternal Golden Braid". There is a passage... when The Crab and...
60
chess@...
Oct 12, 1999 12:45 pm
[First I'd like to apologize for the hideous formatting in my previous note; it's all eGroups' fault! *8) The "Preview" button shows a version of the...
61
Kurt Wismer
cr764@...
Oct 12, 1999 2:08 pm
... not really... if i have a potential viral input V and an algorithm A then i can in theory use up all my resources acting on V... this isn't practical in...
62
chess@...
Oct 12, 1999 7:28 pm
... then ... viruses ... algorithm A ... V ... won't ... that ... My point was just that under the usual definition of a "perfect virus detector", if A is a...
63
Kurt Wismer
cr764@...
Oct 13, 1999 3:38 pm
... where is that specified? virus detectors detect viruses, what they do with non-viruses is another matter entirely... ... the algorithm doesn't have to...
64
chess@...
Oct 13, 1999 6:55 pm
... It doesn't have to detect it, but (if it's to be a perfect virus detector in the Cohen sense) it has to eventually terminate and say that the thing is...
65
Kurt Wismer
cr764@...
Oct 14, 1999 12:08 am
... [snip] ... when the current memory image I(k) matches a previous memory image I(i)... computers being the deterministict finite automatons that they are a...
66
Sung Yang
sung@...
Oct 14, 1999 6:55 am
I enjoyed to read your interesting thoughts about virus detection and opinions on the human function. Here is some more about the human function. The function...
67
chess@...
Oct 15, 1999 7:23 pm
... emulate? ... they ... Good point; my example was too simple. But consider A(Q) (the emulator trying to evaluate a program that first runs the emulator on...
68
chess@...
Oct 15, 1999 7:45 pm
... programs ... detection. ... however, ... superior in ... partial ... I'm a little confused, I guess, about the sense of "undefined" that you're using here....
69
Sung Yang
sung@...
Oct 18, 1999 9:33 pm
I'm writing about why the human function has to be a partial function in response to the request. Why does the human function have to be a partial function on...
70
Vesselin Bontchev
bontchev@...
Oct 18, 1999 10:55 pm
... Uh, why not? After all, viruses are just programs - and I thought that the set of all possible computer programs, although infinite, is recursively...
71
chess@...
Oct 19, 1999 11:53 am
I share Vesselin's puzzlement here. ... What entitles us to draw this conclusion? In my example above, for instance, where VDh is exactly those programs for...
72
Kurt Wismer
cr764@...
Oct 19, 1999 8:30 pm
sorry i've taken so long getting back to this... ... except that if we're talking about a special purpose computer doing the emulating and we're only concerned...
73
Vesselin Bontchev
bontchev@...
Oct 19, 1999 8:50 pm
... Kurt, you would save everybody's time if you instead read (and understand!) Cohen's papers as well as the discussions on this subject years ago on Virus-L...
74
Sung Yang
sung@...
Oct 20, 1999 12:42 am
In this, I am writing about the model of human experts in relation to the theorems in the paper. The theorems are about the computability. So we rely on the...
75
chess@...
Oct 20, 1999 5:48 pm
... algorithm ... virus ... only ... Well, no. At least not "in the duration of an hour or a day". That is, your theorems don't say anything about the...
76
chess@...
Oct 20, 1999 5:58 pm
... the ... compute ... Actually, I'm not sure that you've actually proven that? I'm looking at your VB paper, where you're proving that anything a human can ...
77
Sung Yang
sung@...
Oct 21, 1999 1:02 am
I agree that the theorems do not tell about the time frame. Sung ... <snipped>...
78
chess@...
Oct 21, 1999 12:32 pm
... That could be done in principle: make a computer so much greater in capacity than the computer that you want to detect viruses on that it can detect any...
79
Sung Yang
sung@...
Oct 21, 1999 9:02 pm
... It has been clearly shown that VDh is equal to VD and VD is r.e. This tells that human experts can not compute or solve what computers can not compute in...
81
chess@...
Oct 22, 1999 3:09 pm
... above.) ... invalid? I'm ... need to ... Sure! Here is my objection to that proof: You say that Vdh <= Vd (a computer can detect any virus that a human ...
