杀毒软件是用于保护计算机免受病毒、木马、蠕虫等恶意软件攻击的软件。其检验原理主要包括以下几个方面：
单元级检测：杀毒软件会针对每个文件或程序进行检测，检查其是否包含恶意代码。这通常通过比较文件的数字签名来实现，数字签名可以确保文件的完整性。
行为级检测：杀毒软件会监测程序的行为，如果发现程序执行了不正常的操作，例如读取、修改或删除文件，或者与恶意服务器进行通信，那么它就会认为这个程序是恶意的。
全球病毒库扫描：杀毒软件会定期更新病毒库，以便能够检测最新的病毒和恶意软件。当用户启动杀毒软件时，它会对比病毒库中的病毒和恶意软件，如果发现匹配项，就会将该文件或程序标记为恶意软件。
风险评估：杀毒软件会评估程序的风险，如果程序来自可信的来源，并且在过去没有被发现存在恶意行为，那么它就会被标记为低风险。相反，如果程序来自不可信的来源，或者之前存在恶意行为，那么它就会被标记为高风险。
实时保护：杀毒软件会实时保护计算机免受恶意软件的攻击。如果发现恶意软件正在运行，那么它会尝试阻止其执行，并向用户报告这一事件。
总的来说，杀毒软件的检验原理是基于对文件和程序的数字签名比较、行为监测、病毒库扫描、风险评估和实时保护等多个方面的综合评估。杀毒软件的准确性取决于其病毒库的更新频率和对新型病毒的检测能力，同时也取决于用户的使用习惯和对杀毒软件的信任程度。
