[ Pobierz całość w formacie PDF ]
See pages: 4, 5, 7, 12, 23, 24.
[10] M Sipser. Introduction to the theory of computation. International Thomson Publishing, 1996.
See pages: 4, 7, 23.
[11] P Blackburn et al. Modal logic. Cambridge University Press, 2001.
See pages: 5.
[12] SB Cooper. Computability theory. CRC Press, Inc., 2002.
See pages: 4, 10, 23.
[13] BJ Copeland. The essential Turing: seminal writings in computing, logic, philosophy, artificial intel-
ligence, and artificial life plus the secrets of enigma. Oxford University Press, 2004.
See pages: 13, 19, 25, 28, 30, 35.
[14] E Filiol. Computer viruses: from theory to applications. Birkhäuser, 2005.
See pages: 33.
62 BIBLIOGRAPHY
Articles
In chronological order
[15] H Rogers Jr. Gödel Numberings of partial recursive functions . In: The Journal of Symbolic Logic
23.3 (Sept. 1958). Pp. 331 341.
See pages: 45.
[16] FB Cohen. Computational aspects of computer viruses . In: Computers and Security 8.4 (June
1989). Pp. 325 344.
See pages: vi, 31, 33, 35, 38, 39.
[17] LM Adleman. An abstract theory of computer viruses . In: Advances in Cryptology CRYPTO
88. Vol. 403. Lecture Notes in Computer Science. Springer Berlin/Heidelberg, 1990. Pp. 354 374.
See pages: vi, 45, 50, 53, 55.
[18] K Kauranen and E Mäkinen. A note on Cohen s formal model for computer viruses . In: SIGSAC
Review 8.2 (1990). Pp. 40 43.
See pages: vi, 39, 40, 53, 55.
[19] P van Emde Boas. Machine models and simulations . In: Algorithms and complexity. Handbook of
theoretical computer science, volume A. Ed. by J van Leeuwen. Elsevier Science Publishers, 1990.
Pp. 1 66.
See pages: 11.
[20] L Lamport. How to write a long formula . In: Formal Aspects of Computing 6.5 (1994).
Pp. 580 584.
See pages: 36, 59.
[21] H Thimbleby, S Anderson and P Cairns. A framework for modelling trojans and computer virus
infection . In: Computer Journal 41.7 (1998). Pp. 444 458.
See pages: vi, 27, 39, 40.
[22] FB Cohen. Reply to Comment on A framework for modelling trojans and computer virus infec-
tion by E. Makinen . In: The Computer Journal 44.4 (2001). Pp. 326 327.
See pages: 27.
[23] E Mäkinen. Comment on A framework for modelling trojans and computer virus infection . In:
The Computer Journal 44.4 (2001). Pp. 321 323.
See pages: 39, 40, 55.
[24] H Thimbleby et al. Reply to Comment on A framework for modelling trojans and computer virus
infection by E. Makinen . In: The Computer Journal 44.4 (2001). Pp. 324 325.
See pages: 28, 31, 40.
[25] M Davis. The myth of hypercomputation . In: Alan Turing: Life and legacy of a great thinker. Ed.
by C Teuscher. Springer-Verlag, 2004. Pp. 195 211.
See pages: 23.
[26] DQ Goldin et al. Turing machines, transition systems, and interaction . In: Information and Com-
putation 194.2 (2004). Pp. 101 128.
See pages: 7, 12, 13, 26, 43.
[27] EED Goldin and P Wegner. Turing s ideas and models of computation . In: Alan Turing: Life and
legacy of a great thinker. Ed. by C Teuscher. Springer-Verlag, 2004. Pp. 159 194.
See pages: 28.
[28] A Turing. On computable numbers, with an application to the Entscheidungsproblem . In: The
essential Turing. Ed. by BJ Copeland. This is a faithful reproduction of the original 1936 article.
Oxford University Press, 2004. Pp. 58 90.
See pages: v, 1, 2, 5, 7, 13 16, 18, 19, 23, 30, 35, 55.
BIBLIOGRAPHY 63
[29] Z Zuo and M Zhou. Some further theoretical results about computer viruses . In: The Computer
Journal 47.6 (2004). Pp. 627 633.
See pages: 51, 53.
[30] G Bonfante, M Kaczmarek and JY Marion. Toward an abstract computer virology . In: Theoreti-
cal Aspects of Computing ICTAC 2005. Vol. 3722. Lecture Notes in Computer Science. Springer
Berlin/Heidelberg, 2005. Pp. 579 593.
See pages: 45, 50.
[31] PW Dina Goldin. The Church-Turing thesis: breaking the myth . In: New Computational
Paradigms. Vol. 3526. Lecture Notes in Computer Science. Springer Berlin/Heidelberg, 2005.
Pp. 152 168.
See pages: 28.
[32] G Bonfante, M Kaczmarek and JY Marion. On abstract computer virology from a recursion theo-
retic perspective . In: Journal in Computer Virology 1.3 (2006). Pp. 45 54.
See pages: vi, 45, 50, 52.
[33] J Hao, J Yin and B Zhang. Modeling viral agents and their dynamics with persistent Turing Ma-
chines and cellular automata . In: Agent Computing and Multi-Agent Systems. Vol. 4088. Lecture
Notes in Computer Science. Springer Berlin/Heidelberg, 2006. Pp. 690 695.
See pages: vi, 12, 42, 43, 53, 55.
[ Pobierz całość w formacie PDF ]