动态异构冗余结构的拟态防御自动机模型,朱维军,樊永文,动态异构冗余结构是拟态防御技术的常用工程模型。然而,目前尚缺乏对该结构实施形式化分析的手段,因为该结构缺乏形式化建模方法