{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T15:33:04Z","timestamp":1726414384472},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,2,21]],"date-time":"2008-02-21T00:00:00Z","timestamp":1203552000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Comput Virol"],"published-print":{"date-parts":[[2008,8]]},"DOI":"10.1007\/s11416-008-0085-1","type":"journal-article","created":{"date-parts":[[2008,2,20]],"date-time":"2008-02-20T17:14:25Z","timestamp":1203527665000},"page":"235-250","source":"Crossref","is-referenced-by-count":6,"title":["Malware as interaction machines: a new framework for behavior modelling"],"prefix":"10.1007","volume":"4","author":[{"given":"Gr\u00e9goire","family":"Jacob","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Filiol","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herv\u00e9","family":"Debar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,2,21]]},"reference":[{"key":"85_CR1","unstructured":"Filiol, E.: Computer Viruses: From Theory to Applications. Springer, Berlin, IRIS Collection, ISBN:2-287-23939-1 (2005)"},{"key":"85_CR2","unstructured":"von Neumann, J.: Theory of Self-Reproducing Automata. University of Illinois Press, ISBN:0-598-37798-0 (1966)"},{"key":"85_CR3","unstructured":"Cohen, F.: Computer Viruses. Ph.D. Thesis, University of South California (1986)"},{"key":"85_CR4","doi-asserted-by":"crossref","unstructured":"Adleman, L.M.: An abstract theory of computer viruses. In: CRYPTO \u201988: Proceedings on Advances in cryptology, pp. 354\u2013374 (1990)","DOI":"10.1007\/0-387-34799-2_28"},{"issue":"6","key":"85_CR5","doi-asserted-by":"crossref","first-page":"627","DOI":"10.1093\/comjnl\/47.6.627","volume":"47","author":"Z. Zuo","year":"2004","unstructured":"Zuo Z. and Zhou M. (2004). Some further theoretical results about computer viruses. Comput. J. 47(6): 627\u2013633","journal-title":"Comput. J."},{"issue":"3\u20134","key":"85_CR6","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/s11416-005-0007-4","volume":"1","author":"G. Bonfante","year":"2006","unstructured":"Bonfante G., Kaczmarek M. and Marion J.-Y. (2006). On abstract computer virology from a recursion-theoretic perspective. J. Comput. Virol. 1(3\u20134): 45\u201354","journal-title":"J. Comput. Virol."},{"issue":"5","key":"85_CR7","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/253769.253801","volume":"40","author":"P. Wegner","year":"1997","unstructured":"Wegner P. (1997). Why interaction is more powerful than algorithms. Commun. ACM 40(5): 80\u201391","journal-title":"Commun. ACM"},{"key":"85_CR8","doi-asserted-by":"crossref","unstructured":"Filiol, E.: Formalisation and implementation aspects of k-ary (malicious) codes. J. Comput. Virol., vol. 3, no. 3, EICAR 2007 Special Issue. Broucek, V., Turner, P. (eds) (2007)","DOI":"10.1007\/s11416-007-0044-2"},{"key":"85_CR9","unstructured":"Filiol, E.: Techniques Virales avancTes. Springer, Berlin, IRIS Collection, ISBN:2-287-33887-8 (2007)"},{"issue":"1","key":"85_CR10","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1145\/151233.151240","volume":"36","author":"R. Milner","year":"1993","unstructured":"Milner R. (1993). Elements of interaction: Turing award lecture. Commun. ACM 36(1): 78\u201389","journal-title":"Commun. ACM"},{"key":"85_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z. Manna","year":"1992","unstructured":"Manna Z. and Pnueli A. (1992). The Temporal Logic of Reactive and Concurrent Systems. Springer, New York, ISBN:0-387-97664-7"},{"key":"85_CR12","unstructured":"Leitold, F.: Mathematical model of computer viruses. In: Best Paper Proceedings of EICAR, pp. 194\u2013217 (2000)"},{"key":"85_CR13","unstructured":"Webster, M.: Algebraic specification of computer viruses and their environments. In: Selected Papers from the First Conference on Algebra and Coalgebra in Computer Science, Young Researchers Workshop (CALCO-jnr), University of Wales Swansea Computer Science Report Series CSR 18-2005, Mosses, P., Power, J., Seisenberger, M. (eds) pp. 99\u2013113 (2005)"},{"issue":"2","key":"85_CR14","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1016\/S0304-3975(97)00154-0","volume":"192","author":"P. Wegner","year":"1998","unstructured":"Wegner P. (1998). Interactive foundations of computing. Theor. Comput. Sci. 192(2): 315\u2013351","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"85_CR15","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1145\/214037.214092","volume":"27","author":"P. Wegner","year":"1995","unstructured":"Wegner P. (1995). Interaction as a basis for empirical computer science. ACM Comput. Surv. 27(1): 45\u201348","journal-title":"ACM Comput. Surv."},{"key":"85_CR16","volume-title":"Algorithms and Theory of Computation Handbook","author":"M.J. Atallah","year":"2000","unstructured":"Atallah M.J. (2000). Algorithms and Theory of Computation Handbook. CRC Press LLC, West Palm Beach, FL"},{"key":"85_CR17","doi-asserted-by":"crossref","unstructured":"Thomas, W.: Automata on infinite objects. In: Handbook of Theoretical Computer. Elsevier, Amsterdam (1990)","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"85_CR18","unstructured":"Rogers, H.: Theory of Recursive Functions and Effective Computability. MIT Press, Cambridge, MA, ISBN:0-262-68052-1 (1987)"},{"issue":"1","key":"85_CR19","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1016\/0167-4048(87)90122-2","volume":"6","author":"F.B. Cohen","year":"1987","unstructured":"Cohen F.B. (1987). Computer viruses: theory and experiments. Comput. Secur. 6(1): 22\u201335","journal-title":"Comput. Secur."},{"key":"85_CR20","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"J. Hopcroft","year":"1995","unstructured":"Hopcroft J., Motwani R. and Ullman J. (1995). Introduction to Automata Theory, Languages and Computation, 2nd edn. Addison-Wesley, Reading, MA, ISBN:0-201-44124-1","edition":"2"},{"key":"85_CR21","unstructured":"Manual reference pages\u2014ipsend. http:\/\/www.gsp.com\/cgi-bin\/man.cgi?section=5&topic=ipsend"},{"key":"85_CR22","doi-asserted-by":"crossref","unstructured":"Bonfante, G., Kaczmarek, M., Marion, J.-Y.: A classification of viruses through recursion theorems In: Computation and Logic in the Real World, CIE\u201907, vol. 4497 of Lecture Notes in Computer Science, pp. 73\u201382. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-73001-9_8"},{"key":"85_CR23","unstructured":"Schmall, M.: Classification and Identification of Malicious Code Based on Heuristic Techniques Utilizing Meta-languages. Ph.D. Thesis, University of Hamburg (2002)"},{"key":"85_CR24","doi-asserted-by":"crossref","unstructured":"Brumley, D., Newsome, J., Song, D., Wang, H., Jha, S.: Towards automatic generation of vulnerability-based signatures. In: Proceedings of IEEE Symposium on Security and Privacy, pp. 2\u201316 (2006)","DOI":"10.1109\/SP.2006.41"},{"key":"85_CR25","doi-asserted-by":"crossref","unstructured":"Christodorescu, M., Jha, S., Seshia, S.A., Song, D., Bryant, R.E.: Semantic-aware malware detection. In: Proceedings of IEEE Symposium on Security and Privacy, pp. 32\u201346 (2005)","DOI":"10.1109\/SP.2005.20"},{"key":"85_CR26","doi-asserted-by":"crossref","unstructured":"Filiol, E., Jacob, G., Liard, M.L.: Evaluation methodology and theoretical model for antiviral behavioural detection strategies. J. Comput. Virol., vol. 3, no. 1, WTCV\u201906 Special Issue, G. Bonfante and J-Y. Marion Eds., pp. 23\u201337 (2007)","DOI":"10.1007\/s11416-006-0026-9"},{"key":"85_CR27","unstructured":"Fortinet observatory. http:\/\/www.fortinet.com\/FortiGuardCenter\/"},{"key":"85_CR28","doi-asserted-by":"crossref","unstructured":"Rozinov, K.: Reverse code engineering: An in-depth analysis of the bagle virus. In: Proceedings of the 2005 IEEE Workshop on Information Assurance, pp. 178\u2013184 (2005)","DOI":"10.1109\/IAW.2005.1495977"},{"key":"85_CR29","unstructured":"Filiol, E.: Le ver mydoom. MISC\u2014Le magazine de la sTcuritT informatique, vol. 13 (2004)"},{"key":"85_CR30","unstructured":"Ferrie, P.: Magisterium abraxas. In: Proceedings of Virus Bulletin, pp. 6\u20137 (2001)"},{"key":"85_CR31","unstructured":"Ferrie, P., Shannon, H.: It\u2019s zell(d)ome the one you expect\u2014w32\/zellome. In: Proceedings of Virus Bulletin, pp. 7\u201311 (2005)"},{"key":"85_CR32","first-page":"74","volume":"3548","author":"J. Kinder","year":"2005","unstructured":"Kinder J., Katzenbeisser S., Schallhart C. and Veith H. (2005). Detecting malicious code by model checking. Lect. Notes Comput. Sci. 3548: 74\u2013187","journal-title":"Lect. Notes Comput. Sci."},{"key":"85_CR33","unstructured":"Shin, J., Spears, D.: The Basic Building Blocks of Malware. Technical Report, University of Wyoming (2006)"},{"key":"85_CR34","unstructured":"Driller, T.M.: Advanced polymorphic engine construction. 29A E-zine, vol. 5 (2003)"},{"key":"85_CR35","unstructured":"Filiol, E.: Metamorphism, formal grammars and undecidable code mutation. In: Proceedings of the International Conference on Computational Intelligence (ICCI), Published in the International Journal in Computer Science, vol. 2, issue 1, pp. 70\u201375 (2007)"},{"key":"85_CR36","unstructured":"Qozah, Polymorphism and grammars, 29A E-zine, vol. 4 (1999)"},{"key":"85_CR37","unstructured":"Rutkowska, J.: Red pill...or how to detect vmm using (almost) one cpu instruction (2005). http:\/\/invisiblethings.org\/papers\/redpill.html"}],"container-title":["Journal in Computer Virology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11416-008-0085-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11416-008-0085-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11416-008-0085-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T14:45:42Z","timestamp":1559400342000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11416-008-0085-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,2,21]]},"references-count":37,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,8]]}},"alternative-id":["85"],"URL":"https:\/\/doi.org\/10.1007\/s11416-008-0085-1","relation":{},"ISSN":["1772-9890","1772-9904"],"issn-type":[{"type":"print","value":"1772-9890"},{"type":"electronic","value":"1772-9904"}],"subject":[],"published":{"date-parts":[[2008,2,21]]}}}