随着信息技术的飞速发展和普及，计算机和网络技术在给人们带来方便和效率的同时，也带来了各种各样的安全方面的问题。计算机病毒就是这些安全威胁中最常见的一种。由于其非常普遍，造成的危害也非常大，从影响计算机正常工作，到丢失数据，情况严重者，连计算机硬件也可能被破坏。因此深入地研究病毒技术，研究更好的检测病毒的方法，研究更强的防范和对抗病毒的技术有着重要的意义。 　　本文研究了病毒技术的发展过程，讨论了计算机病毒的定义和分类，把计算机病毒和恶意程序分为二进制文件型病毒和蠕虫、二进制流蠕虫、脚本文件病毒和蠕虫、宏病毒、引导型病毒、混合型病毒、特洛伊木马、后门、拒绝服务攻击工具、网络炸弹，邮件炸弹、程序Bug，逻辑炸弹，时间炸弹、黑客工具，病毒制造工具等类型。然后从计算机病毒的传播机制、触发条件、破坏机制以及病毒的加密技术(变形病毒)等方面对计算机病毒的工作原理进行了研究。 　　在分析了病毒的工作原理以后，总结了网络环境下计算机病毒的新特点，并讨论了检测和防范计算机病毒的技术，对于特征代码、校验和、行为监测、软件模拟等现在常用的检测病毒的技术进行了研究和总结。 　　在研究了病毒工作原理和现有的检测和防范计算机病毒的技术的基础上，经过对大量病毒的分析和研究，总结了一种对狭义的计算机病毒的新的检测方法。这种检测方法给出了一种可以机械地判定某段代码在执行过程中是否会自我复制的条件，并用图灵机的模型给出了形式化的描述。利用这个判定条件，可以获得比现有的技术更强的自动检测未知病毒(狭义的病毒)的能力。 　　最后，对在现实世界中应用上述判定条件进行了简要的说明，并通过图灵机模型，定性地说明了上述条件在图灵机的计算能力下就可以进行判定。 　　对于现实世界中多台计算机联接成网络的情况，以及现实中存在的变形病毒，也进行了分析，并说明了在这些情况下也可以应用本判定条件。