固件与传统的应用软件一样，都有可能存在木马、后门、逻辑炸弹等具有恶意行为的代码。由于固件具有硬件相关性、任务执行的阶段性与高内聚性等特点，使得传统的程序恶意行为描述方法不能适用于固件程序。探讨了固件程序及固件恶意行为的特点和本质特征，描述了一种基于硬件资源访问控制策略的固件程序恶意行为形式化建模和检测方法，并对该方法的有效性进行了实验验证。