Abstract-A virus är ett program som replikerar sig själv genom att kopiera dess kod till andra filer. En vanlig virusskyddsmekanism innebär att man skannar filer för att upptäcka kodmönster för kända virus. Vi bevisar att problemet med att på ett tillförlitligt sätt identifiera ett muterande virus med begränsad längd är NP-komplett genom att visa att en virusdetektor för en viss virusstam kan användas för att lösa problemet med tillfredsställelse. Konsekvensen av detta resultat är att metoder för identifiering av virus kommer att möta ökande belastning när virusmutationer och värdstrategier mognar, och att olika skyddsmetoder bör utvecklas och användas. Denna förordning träder i kraft den tjugonde dagen efter det att den har offentliggjorts i Europeiska unionens officiella tidning.
Spinellis visade att identifiering av begränsad längd metamorphic virii är NP-fullständig REF genom att bryta problemet i en av grafen isomorphism.
Reliable identification of bounded-length viruses is NP-complete
{'venue': 'IEEE Transactions on Information Theory', 'journal': None, 'mag_field_of_study': ['Computer Science']}