{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T10:06:50Z","timestamp":1648980410702},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,7,16]],"date-time":"2008-07-16T00:00:00Z","timestamp":1216166400000},"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":[[2009,8]]},"DOI":"10.1007\/s11416-008-0095-z","type":"journal-article","created":{"date-parts":[[2008,7,15]],"date-time":"2008-07-15T08:55:09Z","timestamp":1216112109000},"page":"247-261","source":"Crossref","is-referenced-by-count":4,"title":["Functional polymorphic engines: formalisation, implementation and use cases"],"prefix":"10.1007","volume":"5","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,7,16]]},"reference":[{"key":"95_CR1","doi-asserted-by":"crossref","unstructured":"Jacob, G., Debar, H., Filiol, E.: Behavioral detection of malware: from a survey towards an established taxonomy (WTCV\u201907 special issue). J. Comput. Virol. 4(3) (2008)","DOI":"10.1007\/s11416-008-0086-0"},{"key":"95_CR2","unstructured":"Fortinet Observatory. http:\/\/www.fortinet.com\/FortiGuardCenter\/"},{"key":"95_CR3","unstructured":"Virus Construction Tools From viruslist.com. http:\/\/www.viruslist.com\/en\/virusesdescribed?chapter=153318618"},{"key":"95_CR4","unstructured":"Vx heaven: virus creation tools repository. http:\/\/vx.netlux.org\/vx.php?id=tidx"},{"key":"95_CR5","doi-asserted-by":"crossref","unstructured":"Wagner, D., Soto, P.: Mimicry attacks on host based intrusion detection systems. In: Proceedings of the 9th ACM Conference on Computer and Communications Security (2002)","DOI":"10.1145\/586110.586145"},{"key":"95_CR6","unstructured":"Gao, M.K.R.D., Song, D.: On gray-box program tracking for anomaly detection. In: Proceedings of the 13th USENIX Security Symposium, pp. 103\u2013118 (2004)"},{"key":"95_CR7","unstructured":"Driller, T.M.: Metamorphism in practice, 29A E-zine, vol. 6 (2002)"},{"key":"95_CR8","unstructured":"Filiol, E.: Techniques Virales Avanc\u00e9es. Springer, IRIS Collection, ISBN: 2-287-33887-8 (2007)"},{"key":"95_CR9","volume-title":"The Art of Computer Virus Research and Defense","author":"P. Sz\u00f6r","year":"2005","unstructured":"Sz\u00f6r P.: The Art of Computer Virus Research and Defense. Addison-Wesley, Reading (2005) ISBN:0-321-30454-3"},{"issue":"3","key":"95_CR10","first-page":"194","volume":"2","author":"P. Beaucamps","year":"2007","unstructured":"Beaucamps P.: Advanced polymorphic techniques. Int. J. Comput. Sci. 2(3), 194\u2013205 (2007)","journal-title":"Int. J. Comput. Sci."},{"key":"95_CR11","unstructured":"Filiol, E.: Metamorphism, formal grammars and undecidable code mutation. In: Proceedings of the International Conference on Computational Intelligence (ICCI), Published in Int. J. Comput. Sci. 2(1) 70\u201375 (2007)"},{"issue":"1","key":"95_CR12","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1109\/TIT.2002.806137","volume":"49","author":"D. Spinellis","year":"2003","unstructured":"Spinellis D.: Reliable identification of boundedlength viruses is np-complete. IEEE Trans. Inf. Theory 49(1), 280\u2013284 (2003)","journal-title":"IEEE Trans. Inf. Theory"},{"key":"95_CR13","doi-asserted-by":"crossref","unstructured":"Preda, M.D., Christodorescu, M., Jha, S., Debray, S.: A semantic-based approach to malware detection. In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) (2007)","DOI":"10.1145\/1190216.1190270"},{"issue":"1","key":"95_CR14","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/s11416-006-0026-9","volume":"3","author":"E. Filiol","year":"2007","unstructured":"Filiol E., Jacob G., Liard M.L.: Evaluation methodology and theoretical model for antiviral behavioural detection strategies (WTCV\u201906 special issue). J. Comput. Virol. 3(1), 23\u201337 (2007)","journal-title":"J. Comput. Virol."},{"key":"95_CR15","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"J. Hopcroft","year":"1995","unstructured":"Hopcroft J., Motwani R., Ullman J.: Introduction to Automata Theory, Languages and Computation, 2nd edn. Addison Wesley, New York (1995) ISBN:0-201-44124-1","edition":"2"},{"issue":"2","key":"95_CR16","first-page":"127","volume":"2","author":"D.E. Knuth","year":"1968","unstructured":"Knuth D.E.: Semantics of context-free grammars. Theory Comput. Syst. 2(2), 127\u2013145 (1968)","journal-title":"Theory Comput. Syst."},{"key":"95_CR17","unstructured":"Noll, T.: Compiler construction, lectures 15 to 18: Semantic analysis. RWTH Aachen University (2006). http:\/\/www-i2.informatik.rwth-aachen.de\/Teaching\/Course\/CB\/2006\/Slides\/"},{"key":"95_CR18","doi-asserted-by":"crossref","unstructured":"Shannon, C.E.: A mathematical theory of communications. Bell Syst. Tech. J. 27, 379\u2013423, 623\u2013656 (1948)","DOI":"10.1002\/j.1538-7305.1948.tb01338.x"},{"key":"95_CR19","doi-asserted-by":"crossref","unstructured":"Filiol, E.: Malware pattern scanning schemes secure against black-box analysis (EICAR 2006 special issue). J. Comput. Virol. 2(1), pp. 35\u201350, (2006)","DOI":"10.1007\/s11416-006-0009-x"},{"key":"95_CR20","volume-title":"Computational Complexity","author":"C.H. Papadimitirou","year":"1995","unstructured":"Papadimitirou C.H.: Computational Complexity. Addison Wesley, Reading (1995) ISBN:0-201-53082-1"},{"key":"95_CR21","doi-asserted-by":"crossref","unstructured":"Jacob, G., Filiol, E., Debar, H.: Malwares as interactive machines: a new framework for behavior modelling (WTCV\u201907 special issue). J. Comput. Virol. 4(3) (2008)","DOI":"10.1007\/s11416-008-0085-1"},{"key":"95_CR22","unstructured":"Charlier, B.L., Mounji, A., Swimmer, M.: Dynamic detection and classification of computer viruses using general behaviour patterns. In: Proceedings of the 5th Virus Bulletin Conference (1995)"},{"key":"95_CR23","unstructured":"Ford, R., Wagner, M., Michalske, J.: Gatekeeper ii: new approaches to generic virus prevention. In: Proceedings of the 14th Virus Bulletin Conference (2004)"},{"key":"95_CR24","doi-asserted-by":"crossref","unstructured":"Christodorescu, M., Jha, S.: Testing malware detectors. In: Proceedings of ACM SIGSOFT: Internatinal Symposium on Software Testing and Analysis (ISSTA 04), pp. 34\u201344 (2004)","DOI":"10.1145\/1007512.1007518"},{"key":"95_CR25","unstructured":"Qemu: open source processor emulator. http:\/\/fabrice.bellard.free.fr\/qemu\/"},{"key":"95_CR26","unstructured":"Wang, C., Hill, J., Knight, J., Davidson, J.: Software tamper resistance: obstructing static analysis of programs. Tech. Rep. CS-2000\u20132012 (2000)"},{"key":"95_CR27","doi-asserted-by":"crossref","unstructured":"Horne, B., Matheson, L.R., Sheehan, C., Tarjan, R.E.: Dynamic self-checking techniques for improved tamper resistance. In: Proceeding of the Digital Rights Management Workshop pp. 141\u2013159 (2001)","DOI":"10.1007\/3-540-47870-1_9"}],"container-title":["Journal in Computer Virology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11416-008-0095-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11416-008-0095-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11416-008-0095-z","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-0095-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,16]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,8]]}},"alternative-id":["95"],"URL":"https:\/\/doi.org\/10.1007\/s11416-008-0095-z","relation":{},"ISSN":["1772-9890","1772-9904"],"issn-type":[{"value":"1772-9890","type":"print"},{"value":"1772-9904","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,7,16]]}}}