A classification of viruses through recursion theorems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4497 LNCS, Issue , 2007, Pages 73-82

  Bonfante, Guillaume ^a   Kaczmarek, Matthieu ^a   Marion, Jean Yves ^a  

^a UNIVERSITÉ DE LORRAINE   (France)

Author keywords

Computer viruses; Iteration theorem; Polymorphism; Propagation; Recursion theorem

Indexed keywords

POLYMORPHISM; RECURSIVE FUNCTIONS; THEOREM PROVING;

FIXED POINT EQUATIONS; ITERATION THEOREM; RECURSION THEOREM;

COMPUTER VIRUSES;

EID: 38049038870     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73001-9_8     Document Type: Conference Paper

References (22)

1. Adleman, L.: An abstract theory of computer viruses. In: Vulkov, L.G., Waśniewski, J., Yalamov, P. (eds.) NAA 2000. LNCS, vol. 403, Springer, Heidelberg (1988)
2. Blum, M.: A machine-independent theory of the complexity of recursive functions. Journal of the Association for Computing Machinery 14(2), 322-336 (1967)
3. Bonfante, G., Kaczmarek, M., Marion, J.-Y.: Toward an abstract computer virology. In: ICTAC, LNCS, vol. 3722, pp. 579-593 (2005)
4. Bonfante, G., Kaczmarek, M., Marion, J.-Y.: On abstract computer virology from a recursion-theoretic perspective, Journal in Computer Virology, 1(3-4) (2006)
5. Case, J.: Periodicity in generations of automata. Theory of Computing Systems 8(1), 15-32 (1974)
6. Chess, D., White, S.: An undetectable computer virus. Proceedings of the 2000 Virus Bulletin Conference (VB2000) (2000)
7. Cohen, F.: Computer Viruses. PhD thesis, University of Southern California (January 1986)
8. Cohen, F.: On the implications of computer viruses and methods of defense. Computers and Security 7, 167-184 (1988)
9. Filiol, E.: Computer Viruses: from Theory to Applications. Springer, Heidelberg (2005)
10. Hansen, T., Nikolajsen, T., Träff, J., Jones, N.: Experiments with implementations of two theoretical constructions. In: Meyer, A.R., Taitslin, M.A. (eds.) Logic at Botik 1989. LNCS, vol. 363, pp. 119-133. Springer, Heidelberg (1989)
11. Jones, N.: 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. Springer, Heidelberg (1991)
12. Jones, N.: Constant Time Factors Do Matter. MIT Press, Cambridge, MA, USA (1997)
13. Kleene, S.: Introduction to Metamathematics. Van Nostrand (1952)
14. Ludwig, M.: The Giant Black Book of Computer Viruses. American Eagle Publications (1998)
15. Moss, L.: Recursion theorems and self-replication via text register machine programs. In: EATCS bulletin (2006)
16. Rogers, H.: Theory of Recursive Functions and Effective Computability. McGraw Hill, New York (1967)
17. Smullyan, R.: Recursion Theory for Metamathematics. Oxford University Press, Oxford (1993)
18. Smullyan, R.: Diagonalization and Self-Reference. Oxford University Press, Oxford (1994)
19. Thompson, K.: Reflections on trusting trust. Communications of the Association for Computing Machinery 27(8), 761-763 (1984)
20. von Neumann, J.: Theory of Self-Reproducing Automata (edited and completed by A.W.Burks). University of Illinois Press, Urbana, Illinois (1966)
21. Zuo, Z., Zhou, M.: Some further theoretical results about computer viruses. The Computer Journal 47(6), 627-633 (2004)
22. Zuo, Z., Zhu, Q.-x., Zhou, M.-t.: On the time complexity of computer viruses. IEEE Transactions on information theory 51(8), 2962-2966 (2005)