On abstract computer virology from a recursion theoretic perspective

Journal in Computer Virology

Volumn 1, Issue 3-4, 2006, Pages 45-54

  Bonfante, G ^a   Kaczmarek, M ^a   Marion, J Y ^a  

^a LORIA   (France)

Author keywords

Companion virus; Computability; Computer virus; Detection; Polymorphic virus; Recursion theorem; Self reference

Indexed keywords

EID: 33746879580     PISSN: 17729890     EISSN: 17729904     Source Type: Journal    
DOI: 10.1007/s11416-005-0007-4     Document Type: Article

References (31)

1. Adleman, L.M.: An abstract theory of computer viruses. In: Advances in Cryptology - CRYPTO'88, vol. 403. Lecture notes in computer science (1988)
2. Bishop, M.: An overview of computer viruses in a research environment. Technical report. Hanover, NH: Dartmouth College (1991)
3. Blum, M.: A machine independent theory of the complexity of recursive functions. J ACM 14, 322-336 (1967)
4. Bonfante, G., Kaczmarek, M., Marion, J-Y.: Toward an abstract computer virology. In: Lecture notes in computer science, vol. 3722, pp 579-593 (2005)
5. Chess, D.M., White, S.R.: An undetectable computer virus (2000)
6. Cohen, F.: Computer viruses. PhD Thesis, University of Southern California (1986)
7. Cohen, F.: Computer viruses: theory and experiments. Comput Secur 6(1), 22-35 (1987)
8. Cohen, F.: On the implications of computer viruses and methods of defense. Comput Secur 7, 167-184 (1988)
9. Cohen, F.: Computational aspects of computer viruses. Comput Secur 8, 325-344 (1989)
10. Filiol, F.: Les virus informatiques: théorie, pratique et applications. Springer-Verlag France: 2004. Translation [11]
11. Filiol, F.: Computer viruses: from theory to applications. Springer Berlin Heidelberg New York 2005
12. Goel, S., Bush, S.F.: Kolmogorov complexity estimates for detection of viruses in biologically inspired security systems: a comparison with traditional approaches. Complex 9(2), 54-73 (2003)
13. Anderson, S., Thimbleby, H., Cairns, P.: A framework for medelling trojans and computer virus infection. Comput Journal 41 444-458 (1999)
14. Jain, J., Osherson, D., Royer, J., Sharma, A.: Systems that learn. Cambridge: MIT 1999
15. Jones, N.D.: Computer implementation and applications of kleene's S-m-n and recursive theorems. In: Moschovakis, Y.N. (ed.) Lecture notes in mathematics, logic from computer science, pp 243-263 (1991)
16. Jones, N.D: Computability and complexity: from a programming perspective. Cambridge, MA: MIT 1997
17. Kleene, S.C: Introduction to metamathematics. Van Nostrand 1952
18. Ludwig, M. A.: The giant black book of computer viruses, sun city west: American Eagle Publications 1998
19. Myhill, J.: Creative sets. Zeit fur Math Logik und Grund der Math. 1, 97-108 (1955)
20. Odifreddi, P.: Classical recursion theory. Amsterdam North-Holland 1989
21. Rogers, H.: Gödel numberings of partial recursive function. J Symbol Logic 23(3), 331-341 (1958)
22. Rogers, H. Jr.: Theory of recursive functions and effective computability. McGraw Hill New York: 1967
23. Smullyan, R.M.: Theory of formal systems. Princeton: Princeton University Press 1961
24. Smullyan, R.M.: Recursion theory for metamathematics. New York: Oxford University Press 1993 Translation
25. Smullyan, R.M.: Diagonalization and self-reference. New york Oxford University Press 1994
26. Szor P.: The art of computer virus research and defense.Reading Addison-Wesley Professional 2005
27. Thompson, K.: Reflections on trusting trust. Commun ACM 27:761-763, (1984).
28. Also appears in ACM Turing Award Lectures: the first twenty years 1965-1985
29. Uspenskii, V.A.: Enumeration operators and the concept of program. Uspekhi Matematicheskikh Nauk 11, (1956)
30. von Neumann, J.: Theory of self-reproducing automata. Urbana, IL: University of Illinois Press, Urbana, Illinois, 1966. Edited and completed by A.W. Burks
31. Zuo, Z., Zhou, M.: Some further theorical results about computer viruses. In: The computer journal (2004)