一种基于Petri网的芯片安全分析方法

摘要

一种基于petri网的芯片安全分析方法，它有五大步骤：一、分析芯片的行为及描述文件及其层级；二、建立底层单元的petri网模型；三、将底层单元Petri网模型集成为中间单元Petri网模型；四、建立顶层单元Petri网模型；五、基于Petri网模型开展可信性分析与硬件木马攻击诊断。该发明主要针对硬件木马对芯片的安全危害进行分析，并提出芯片安全分析方法，基于petri网模型定量分析芯片安全性的新方法，为集成电路安全性度量和防护提供一种思路。