那么，在反病毒技术中使用形式方法毫无意义吗？
Are we saying that it is not worth using formal methods in anti-virus technologies?
这测量了当前的反病毒技术能多好的阻止这恶意程序的传播。
This is a measure of how well current antivirus technology can keep this threat from spreading.
好消息是，病毒作者和反病毒技术一样也遇到相同的理论限制。
The good news is that a virus writer is confronted with the same theoretical limit as are anti-virus technologies.
病毒检测是计算机安全领域的重要技术之一，是反病毒技术的核心。
Virus detection is one of the most significant technologies in computer security field as well as the core technology in anti-virus software.
为了在反病毒技术中使用这些形式分析方法，我们可能必须重新考虑整个过程。
In order to use these formal analysis methods in anti-virus technologies, we may have to rethink the whole process.
因此除了反病毒技术需要不断提高外，还需广大计算机用户充分认识病毒，提高防范意识。
Therefore enhances unceasingly besides the counter-virus technical requirement, but also needs the general computer user to know the virus fully, raises the guard consciousness.
复杂变形病毒的出现在使得许多杀软被病毒破坏的同时，并没有促成更先进的反病毒技术的产生。
The advent of complex polymorphic viruses actually killed off some scanners that were unable to move to more advanced detection techniques.
如果说我们能从多态病毒和变形病毒那里学到什么，那就是病毒作者享受打败反病毒技术这种挑战。
If there is one thing we can learn from polymorphic and metamorphic viruses it is that virus writers enjoy the challenge of beating the anti-virus technologies.
当今最新最先进的讨算机反病毒技术，有实时扫描技术、启发式代码扫描技术、虚拟机技术和主动内核技术等。
Nowadays there are some new and advanced anti-virus techniques, such as real-time scanning, heuristic code scanning, virtual machine and active kernel technique etc.
这个假定，虽然对编译器最优化使用的各种静态分析来说是安全的，但是由于增加了时间和空间的代价，会致反病毒技术于不利处境。
This assumption, though safe for various static analyses for compiler optimizations, could spell doom for an anti-virus technology by increasing the time and space costs of the analyses.
专家指出，需要超越目前基于签名的反病毒软件技术。
Experts point to the need to go beyond the current generation of signature-based anti-virus software.
不同种类的病毒，它们的代码千差万别，而且病毒的制作技术也在不断的提高，病毒永远超前于反病毒软件。
Different types of viruses, their code varies widely, and the virus production technology is constantly improving, the virus is always ahead of anti-virus software.
本文讲解了计算机病毒的触发机制、引导方式及其反病毒的主要技术。
This article explains the burst modes, booting manner, and the main anti-virus technology.
从技术上来讲，流氓反病毒软件之所以常常很难被发现，是由于这种软件实际上是一个骗局。
Technically, rogue AV is often hard to detect because the software is essentially a confidence trick.
从技术上来讲，流氓反病毒软件之所以常常很难被发现，是由于这种软件实际上是一个骗局。
Technically, rogue AV is often hard to detect because the software is essentially a confidence trick.
应用推荐