近年来,计算机和互联网在我国信息化建设方面取得了前所未有的发展和普及,特别是物联网和云计算的兴起,计算机网络安全面临着更严峻的挑战。在诸多安全隐患中,计算机病毒是严重隐患之一,尤其是木马病毒程序及其变异性,对网络安全的危害越来越大。本文首先简介了木马程序的来源、定义、运行原理以及木马主要特征。在剖析木马程序的各种主要功能以及木马程序的入侵技术的基础上,详细分析了木马程序的物理生命周期以及逻辑结构模型。并根据木马的逻辑结构模型建立了木马程序的数学模型。针对现阶段的主要木马检测技术,即静态检测技术和动态检测技术,对新型木马的变种具有明显滞后的特性,本文提出了基于遗传算法的木马变异分析系统。该系统是通过对上一代实际木马特征的提取,并运用遗传算法来计算木马的变异趋势,从理论上得到新一代木马的特征,并将其与现在实际的木马特征相比较,来验证算法与实际情况的拟合度,以改进算法的迭代次数和权值等,这个过程可以是循环的。模拟实验证明,通过有限循环修改,算法和结果具有较好的拟合性。这种必要性的验证方法可以更好地指导对未来变异木马的检测,提前预防新一代木马程序的入侵。