[发明专利]一种芯片安全监视方法和安全监视芯片

权利要求书

1.一种芯片安全监视方法，其特征在于：包括以下步骤：

被植入芯片的监视器对芯片操作进行监视；

其中，所述的监视器包括第一状态机和第二状态机，所述的第一状态机为由已知的芯片攻击所建立的模型对应得到，所述的第二状态机为由断言描述的安全规则/安全属性转换而成；

所述的第二状态机的转换步骤包括：

确定描述安全规则/安全属性的断言，所述的断言的语义基于规范表达式；

生成非确定自动机；

自动机最小化；

生成确定自动机。

2.根据权利要求1所述的一种芯片安全监视方法，其特征在于：所述的监视器包括一个初始状态和至少一个跟踪状态，所述的跟踪状态中至少包括一个报错状态；

所述的对芯片操作进行监视包括以下子步骤：

监视器对每次芯片操作后的状态进行一次判断，如果这个状态是一个报错状态，监视器会发出报错信号；

监视器在其当前状态不是报错状态的情况下，根据操作决定下一个状态，包括以下三种情况：（1）解除跟踪，回到初始状态；（2）停留在当前状态，等待下一个操作；（3）进入下一个跟踪状态。

3.根据权利要求2所述的一种芯片安全监视方法，其特征在于：所述的对芯片操作进行监视还包括：

芯片开机后，所述监视器进入初始状态。

4.根据权利要求2所述的一种芯片安全监视方法，其特征在于：在监视器的状态是一个报错状态时，不仅发出报错信号，而且采取反攻击措施。

5.一种安全监视芯片，其特征在于：包括：

芯片本体；

以及被植入芯片本体的监视器，所述的监视器对芯片本体的操作进行监视；

其中，所述的监视器包括第一状态机和第二状态机，所述的第一状态机为由已知的芯片攻击所建立的模型对应得到，所述的第二状态机为由断言描述的安全规则/安全属性转换而成；

所述的第二状态机的转换包括：

确定描述安全规则/安全属性的断言，所述的断言的语义基于规范表达式；

生成非确定自动机；

自动机最小化；

生成确定自动机。

6.根据权利要求5所述的一种安全监视芯片，其特征在于：所述的监视器包括一个初始状态和至少一个跟踪状态，所述的跟踪状态中至少包括一个报错状态；

所述的对芯片本体的操作进行监视包括：

监视器对每次芯片操作后的状态进行一次判断，如果这个状态是一个报错状态，监视器会发出报错信号；

监视器在其当前状态不是报错状态的情况下，根据操作决定下一个状态，包括以下三种情况：（1）解除跟踪，回到初始状态；（2）停留在当前状态，等待下一个操作；（3）进入下一个跟踪状态。

7.根据权利要求6所述的一种安全监视芯片，其特征在于：所述的对芯片本体的操作进行监视还包括：

芯片本体开机后，所述监视器进入初始状态。

8.根据权利要求6所述的一种安全监视芯片，其特征在于：在监视器的状态是一个报错状态时，不仅发出报错信号，而且采取反攻击措施。