{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:41:58Z","timestamp":1742913718366,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319200279"},{"type":"electronic","value":"9783319200286"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-20028-6_13","type":"book-chapter","created":{"date-parts":[[2015,6,19]],"date-time":"2015-06-19T10:07:37Z","timestamp":1434708457000},"page":"127-136","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Immune Systems in Computer Virology"],"prefix":"10.1007","author":[{"given":"Guillaume","family":"Bonfante","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"El-Aqqad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin","family":"Greenbaum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathieu","family":"Hoyrup","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,6,20]]},"reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/0-387-34799-2_28","volume-title":"Advances in Cryptology - CRYPTO \u201988","author":"LM Adleman","year":"1990","unstructured":"Adleman, L.M.: An abstract theory of computer viruses. In: Goldwasser, S. (ed.) CRYPTO 1988. LNCS, vol. 403, pp. 354\u2013374. Springer, Heidelberg (1990)"},{"unstructured":"Amtoft, T., Thomas, H., Jesper, N., Tr\u00e4ff, L., Jones, N.D.: Experiments with implementations of two theoretical constructions. In: Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, PLAS 2007, San Diego, California, USA, 14 June 2007, pp. 47\u201352. ACM (2007)","key":"13_CR2"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-73001-9_8","volume-title":"Computation and Logic in the Real World","author":"G Bonfante","year":"2007","unstructured":"Bonfante, G., Kaczmarek, M., Marion, J.-Y.: A classification of viruses through recursion theorems. In: Cooper, S.B., L\u00f6we, B., Sorbi, A. (eds.) CiE 2007. LNCS, vol. 4497, pp. 73\u201382. Springer, Heidelberg (2007)"},{"issue":"3","key":"13_CR4","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/s11416-008-0084-2","volume":"4","author":"J-M Borello","year":"2008","unstructured":"Borello, J.-M., M\u00e9, L.: Code obfuscation techniques for metamorphic viruses. J. Comput. Virol. 4(3), 211\u2013220 (2008)","journal-title":"J. Comput. Virol."},{"doi-asserted-by":"crossref","unstructured":"Case, J., Moelius, S.E.: Cautious virus detection in the extreme. In: Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, PLAS 2007, San Diego, California, USA, 14 June 2007, pp. 47\u201352. ACM (2007)","key":"13_CR5","DOI":"10.1145\/1255329.1255338"},{"issue":"4","key":"13_CR6","doi-asserted-by":"publisher","first-page":"756","DOI":"10.1007\/s00224-009-9168-8","volume":"45","author":"J Case","year":"2009","unstructured":"Case, J., Moelius, S.E.: Characterizing programming systems allowing program self-reference. Theory Comput. Syst. 45(4), 756\u2013772 (2009)","journal-title":"Theory Comput. Syst."},{"issue":"1","key":"13_CR7","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1016\/0167-4048(87)90122-2","volume":"6","author":"F Cohen","year":"1987","unstructured":"Cohen, F.: Computer viruses: theory and experiments. Comput. Secur. 6(1), 22\u201335 (1987)","journal-title":"Comput. Secur."},{"key":"13_CR8","volume-title":"Surreptitious Software: Obfuscation, Watermarking, and Tamperproofing for Software Protection","author":"C Collberg","year":"2009","unstructured":"Collberg, C., Nagra, J.: Surreptitious Software: Obfuscation, Watermarking, and Tamperproofing for Software Protection, 1st edn. Addison-Wesley Professional, New Jersey (2009)","edition":"1"},{"key":"13_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2003.001.0001","volume-title":"Computability and Complexity, from a Programming Perspective","author":"ND Jones","year":"1997","unstructured":"Jones, N.D.: Computability and Complexity, from a Programming Perspective. MIT press, Cambridge (1997)"},{"key":"13_CR10","first-page":"171","volume":"89","author":"LS Moss","year":"2006","unstructured":"Moss, L.S.: Recursion theorems and self-replication via text register machine programs. Bull. EATCS 89, 171\u2013182 (2006)","journal-title":"Bull. EATCS"},{"key":"13_CR11","volume-title":"Theory of Recursive Functions and Effective Computability","author":"H Rogers Jr.","year":"1967","unstructured":"Rogers Jr., H.: Theory of Recursive Functions and Effective Computability. McGraw Hill, New York (1967)"},{"key":"13_CR12","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195082326.001.0001","volume-title":"Recursion Theory for Metamathematics","author":"RM Smullyan","year":"1993","unstructured":"Smullyan, R.M.: Recursion Theory for Metamathematics. Oxford University Press, Oxford (1993)"},{"issue":"6","key":"13_CR13","doi-asserted-by":"publisher","first-page":"627","DOI":"10.1093\/comjnl\/47.6.627","volume":"47","author":"Z Zuo","year":"2004","unstructured":"Zuo, Z., Zhou, M.: Some further theorical results about computer viruses. Comput. J. 47(6), 627\u2013633 (2004)","journal-title":"Comput. J."}],"container-title":["Lecture Notes in Computer Science","Evolving Computability"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-20028-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T01:35:52Z","timestamp":1676943352000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-20028-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319200279","9783319200286"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-20028-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"20 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}