论文研究-FSP：一种基于风险的安全策略.pdf

抽象蠕虫扩散的一般过程，采用确定的有限自动机理论，对蠕虫扩散行为进行形式化描述。建立智能扩散自动机模型，为研究蠕虫扩散过程提供了一种直观的形式化手段。提出加权树策略，基于该策略设计智能扩散模型并详细阐述权策略的核心算法，描述蠕虫智能扩散的本质特征和执行过程。形式论证结果表明，该模型能够有效地刻画智能扩散的特征，实现基于堆遍历加权策略的扩散仿真。