[发明专利]一种面向片上系统的硬件木马容忍设计高层次综合方法

权利要求书

1.一种面向片上系统的硬件木马容忍设计高层次综合方法，其特征在于，包括：

设定高层次综合中的安全约束，所述安全约束包括：任务复制约束、供应商多样化约束、父级任务与子级任务的供应商差异约束；所述供应商用于提供知识产权核；

将父级任务及其复制的子级任务绑定到来自不同供应商提供的知识产权核，使父级任务与其复制子任务之间存在供应商差异；并基于供应商差异避免了父级任务与其复制的子级任务之间的建立私密通信；

基于安全约束合理分配各个IP核的供应商，尽可能确保每个安全约束下的两个任务在不同供应商的IP核中执行。

2.根据权利要求1所述的面向片上系统的硬件木马容忍设计高层次综合方法，其特征在于，基于所述安全约束合理分配片上系统的供应商，包括：

确定供应商数量；

基于所述供应商数量进行任务聚类；

完成任务聚类后，进行供应商分配，并判断分配数量是否小于供应商约束；若分配的数量小于供应商约束，则重新进行供应商分配；若分配的数量不小于供应商约束，则按照对应的数量进行分配。

3.根据权利要求2所述的面向片上系统的硬件木马容忍设计高层次综合方法，其特征在于，确定供应商数量，包括有：

根据任务图构建供应商冲突图，其中集群为相邻任务的集合；

将任务图TG和任务图复制TG’中有数据通信的节点用表示安全约束的边连接，构建供应商冲突图VG；其中，供应商冲突图VG中的每个集群初始化为仅包含一个任务，供应商冲突图VG中的每条边表示一个安全约束；

计算供应商冲突图VG中最大团的节点数，根据所述节点数确定供应商数量。

4.根据权利要求2或3所述的面向片上系统的硬件木马容忍设计高层次综合方法，其特征在于，根据所述供应商数量进行任务聚类，包括有：

根据任务图TG和任务图复制TG’构建供应商冲突图VG，从供应商冲突图VG中构造供应商集群图CG；

检验供应商集群图CG中的每一条边是否是一个团边(若一条边所连接的两个节点均位于一个最大团内，则该边被称为团边)；如果否，则从供应商集群图CG中删去该边；

计算所有团边的优先级，找到最高优先级的边，将该边连接的两个节点进行聚类以生成新的集群；

更新供应商集群图CG和供应商冲突图VG，并重新计算供应商冲突图VG中最大团的大小，若仍然大于供应商约束，继续重新进行算法；若VG中团的大小不大于供应商约束，则聚类完成。

5.根据权利要求4所述的面向片上系统的硬件木马容忍设计高层次综合方法，其特征在于，完成任务聚类后，进行供应商分配；包括：设定一种颜色在供应商冲突图VG中代表一个IP供应商；其中，a_i的候选颜色集包含可以分配给a_i的所有颜色；则有：

S1，从候选颜色集中选择一种颜色color_k赋予a_i；

S2，确定所有的敏感节点，并构造诱导子图；该诱导子图标记为VG_s(a_i),其节点集由a_i和所有敏感节点组成；

S3，从所述诱导子图中删去a_i节点和团大小小于供应商约束的节点，记作VG’_s(a_i)；

S4，判断剩余的节点是否超过供应商约束，若超过，则从候选颜色集中删去color_k；若未超过，则判断所有节点是否染色完毕；

S5，若所有节点染色完毕，则结束；反之，切换下一个颜色。

6.根据权利要求5所述的面向片上系统的硬件木马容忍设计高层次综合方法，其特征在于，完成供应商分配后，还包括更新供应商数量；包括：

将color_k分配给a_i前的供应商冲突图VG记作G，并构造诱导子图VG_s(a_i)，随后删去节点a_i和团大小小于供应商约束的节点，生成VG’_s(a_i)；

更新G中敏感节点的团大小的方法为：G中敏感节点a_j的团大小为判断VG’_s(a_i)中是否包含a_j的-团(节点数为的完全图)；若包含，更新a_j的团大小为若a_i的团大小小于则将a_i的团大小更新为若不包含，则a_j的团大小不变。算法将挨个更新各个敏感节点的团大小，直至所有敏感节点的团大小均已更新。