Title :
A Computational Model of Computer Worms Based on Persistent Turing Machines
Author :
Hao, Jingbo ; Yin, Jianping ; Zhang, Boyun
Author_Institution :
Sch. of Comput. Sci., Nat. Univ. of Defense Technol., Changsha
Abstract :
The traditional Turing machines (TMs) are not suitable for modeling interactive computation. Persistent Turing machines (PTMs) are a canonical model for sequential interaction and are equivalent to sequential interaction machines (SIMs) in expressiveness. Naturally it can be used to model computer worm agents that interact with external network environments in a sequential way abstractly. In the paper a computational model of worms based on PTMs is developed which reveals the infection, evolution and interaction abilities of worms quite well. Some relevant theorems about worms are also deduced according to the worm model. The model overcomes the inherent deficiency of TM virus models in describing interaction and covers entirely all current worms since it adequately reveals the essential abilities of worms
Keywords :
Turing machines; invasive software; computational model; computer worms; persistent Turing machines; Cognitive informatics; Computational modeling; Computer science; Computer viruses; Computer worms; Concurrent computing; Environmental economics; Floppy disks; Turing machines; Persistent Turing machine; infection evolution; interaction; worm;
Conference_Titel :
Cognitive Informatics, 2006. ICCI 2006. 5th IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
1-4244-0475-4
DOI :
10.1109/COGINF.2006.365531