Modeling viral agents and their dynamics with persistent turing machines and cellular automata

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

Volumn 4088 LNAI, Issue , 2006, Pages 690-695

  Hao, Jingbo ^a   Yin, Jianping ^a   Zhang, Boyun ^a  

^a NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY   (China)

Author keywords

Cellular Automaton; Dynamics; Persistent Turing Machine; Viral Agent

Indexed keywords

AUTOMATA THEORY; COMPUTER SCIENCE; COMPUTER SIMULATION; COMPUTER VIRUSES; MATHEMATICAL MODELS; TURING MACHINES; USER INTERFACES;

AGENT DYNAMICS; CELLULAR AUTOMATON (CA); PERSISTENT TURING MACHINE; VIRAL AGENTS;

INTELLIGENT AGENTS;

EID: 33746851221     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11802372_80     Document Type: Conference Paper

References (9)

1. Cohen, F.: Computational Aspects of Computer Viruses. Computers & Security, Vol. 8, No. 4 (1989) 325-344
2. Adleman, L.M.: An Abstract Theory of Computer Viruses. In: Goldwasser, S. (ed.): Advances in Cryptology - CRYPTO'88, LNCS 403, Springer-Verlag Berlin Heidelberg (1990) 354-374
3. Leitold, F.: Mathematical Model of Computer Viruses. In: EICAR 2000 Best Paper Proceedings, Brussels, Belgium (2000) 194-217
4. Wegner, P.: Towards Empirical Computer Science. The Monist, Vol. 82, No. 1 (1999) 58-108
5. Goldin, D., Smolka, S., Attie, P., Sonderegger, E.; Turing Machines, Transition Systems, and Interaction. Information and Computation, Vol. 194, No. 2 (2004) 101-128
6. Tosic, P.T.: On Modeling and Analyzing Sparsely Networked Large-Scale Multi-Agent Systems with Cellular and Graph Automata. To appear in: Proceedings of the 2nd Workshop on Modeling of Complex Systems by Cellular Automata, Reading, UK (2006)
7. Brooks, R., Orr, N., Zachary, J., Griffin, C.: An Interacting Automata Model for Network Protection. In: Proceedings of the 5th International Conference on Information Fusion, Annapolis, USA (2002) 1090-1097
8. Hao, J., Yin, J., Zhang, B.: Proof of the Virus Decidability Theorem Based on a Universal Turing Machine Model (in Chinese). In: Proceedings of the National Annual Conference on Theoretical Computer Science, Qinhuangdao, China (2005) 243-245
9. Nechvatal, J., Sikora, S.: Red Ovoid Attack - Computer Virus Project 2.0. (2001) http://www.computerfinearts.com/collection/nechvatal/redattack/