计算机病毒及检测病毒的新技术-应用数学专业论文.docxVIP

由农夫学硕士学位论文臻要 由农夫学硕士学位论文 臻要 随糟信息技术的飞速发展和普及，计算机和网络技术谯给人们带来方便和效 率敬麓瓣，也荣寒了各耱各襻懿爱全方嚣的阉蘧。诗篓掇癃漆裁是这些蜜全藏胁 中最常见的一种。豳于其非常普遍，造成的危密也非常大，从影响计算机正常工 作，到盛失数据，情况严重者，避计算机硬件也可能被破坏。因此深入±{觐研究病 毒技术，骚突更好戆羧溅痰毒豹方法，臻究簧强豹葜莛帮辩抗病毒兹技术有蓑重 要的意义。 本文研究了病毒技术的发展过程，讨论了计簿机病毒的定义和分类，把计算 毒嚣痪惫耱瑟意程痔分荧二进铡文耱窭箨莠毒嚣戆盔、二逡毒l浚皤塞、黧本文俘痰毒 和蠕融、宏病毒、弓l导型病毒、混合型病毒、特洛伊木马、后门 、撒绝服务 攻击工具、网络炸弹，邮件炸弹、程序Bug，逻辑炸弹，时间炸弹、黑客工具， 疼毒翻造王买等粪麓。然螽簸诗簿凝癍毒夔终疆撬到、触发条薛、酸嚣撬裁激及 病毒的加密技术(变形病毒)等方面对计算机瘸海的工作原理进行了研究。 在分析了病毒的工作原理以聪，总结了网络环境下计算机病毒的新特点，并 讨论了硷测帮茨蕊诗算瓠病毒敬装零，对于耱徭筏鹞、较骏帮、行为鍪溺、较肄 模拟铸现在常用的检测病毒的技术进行了研究和总结。 在研究了病毒工作原理和现商的检测和防范计算机病毒的技术的基础上，经 过对大藿痍毒豹分辑耪疆究，慧结了一耱辩狭义戆诗算撬瘸毒豹蓑懿捡溅方法。 这种梭测方法给出了一种可以机械地判定某段代码在执行过程中是否会自我复制 的条件，并用图灵机的模型给出了形式化的描述。利用这个判定条件，可以获得 院瑗窍瓣援拳更强麴塞动毪涮采躲病毒(狭义豹瘸毒)熬凝力。 墩后，对在现实世界中应用上述判定条件滋行了简要的说明，并通过图灵机 模型，定性地说明了上述条件在图灵机的计算能力下就可以进行判定。 对予褒实毽赛审多台诗算撬联接藏闲终鹣幸蠢况，敬及魏安中存在鹣变形病毒， 也进行了分析，并说明了在这些情况下也可以应用本判定条件。 关键词：毒卡冀枫病毒，臻塞，特洛伊术舄，醣病毒 尘歪丝鎏圭兰鳖控兰超ST醚嚣 尘歪丝鎏圭兰鳖控兰 超ST醚嚣 With the rapid development of information technology，computers and netwo rk bring US not only productivity but also security problems。Computer virus is one of these problems．Because computer viruses are widely spread，they are ve ry dangerous．111ey call damage data,even computer hardware．So，it is importa 珏t to study better anti-vires technique。 Malicious codes include binary file virus and worm，binary stream worm，sc ript file virus，macro virus,boot virus,troy horse，back doors，DoS tools，netwo 矗bomb，mail bomb，bugs，logical bomb，time bomb,hackers tools，virus deveI opment kits，eto．The techniques virus using include affection，trigger，destruetio n，and the cryptography technique． Then discussed the anti-virus technique；include signature code，check SLIm， software emulation，etc． After the study of computer virus’work principle and the anti-virus techniq He，this article imroduced a new virus detection method。Using this method，we can judge whether a piece of code can reproduces itself when it is executed．T his article gives the formal description of the method using the Turing—machine modal．We can get be