Anti-virus programs are necessary but don’t always guard against intrusions.

反病毒程序是有必要用的但是仍不能够经常的阻止渗透。

There are three categories of product under AVG solution: AVG Internet Security, AVG Anti-Virus Professional and AVG Anti-Virus Free.

有三类产品，根据平均的解决方案：平均网际网路安全性，平均反病毒专业及平均反病毒免费的。

Make sure you have a good anti-virus program and use it frequently.

让你有一个好的反病毒程序，并以此频频。

This is a FREE anti-virus and anti-spyware utility based on Dr.

这是一个免费的反病毒和反间谍软件实用程序的基础上Dr。

All the features and technologies of Kaspersky Anti-Virus 2010 are included in this product.

所有的功能和技术，卡巴斯基反病毒2010顷包括在本产品。

There are a lot of these anti-virus software packages on the market names such as Mcafee and Norton are well known.

有很多这些反病毒软件的市场，如姓名、津诺顿是众所周知的。

After a while, when the Anti-Virus providers start to detect it out, they may detect only malware that uses this specific Zero-day threats attack.

过了一段时间，当反病毒软件供应商开始检测出来，他们可能只检测恶意软件，使用这一特定零日威胁的攻击。

He says that it is even possible for a virtual computer in the cloud to become infected by an ordinary botnet, because cloud users don't normally run anti-virus software.

他认为，云平台上的虚拟计算机甚至有可能被普通的僵尸网络控制，因为云用户一般不会使用反病毒软件。

Are we saying that it is not worth using formal methods in anti-virus technologies?

那么，在反病毒技术中使用形式方法毫无意义吗？

The success of these techniques in compilers and verifiers has been extrapolated to offer promise in anti-virus technologies.

由于这些技术在编译器和验证程序中的成功，人们已经把它外推应用到在反病毒技术中提供承诺。