[發明專利]一種IP核代碼級安全需求描述方法

有效

• 申請號: 202010715870.2
• 申請日: 2020-07-23
• 公開（公告）號: CN111880768B
• 公開（公告）日: 2023-07-14
• 發明（設計）人: 李東方;沈煒;王志昊;王紀;陳麗容
• 申請（專利權）人: 北京計算機技術及應用研究所
• 主分類號: G06F8/10
• 分類號: G06F8/10
• 代理公司: 中國兵器工業集團公司專利中心 11011
• 代理人: 張然

本發明涉及一種IP核代碼級安全需求描述方法，其中，包括：輸入IP核設計代碼及需求規格說明書；分析IP核需求規格說明書并確定IP核的主要功能和目的，找到IP核中實現功能所需要的最小組成部分；按照對功能實現的重要程度對組成部分進行排序，得到按重要程度排序的安全資產；分析并確定接口，可被攻擊者獲取并對安全資產進行訪問，作為安全需求的訪問點；依據安全資產及訪問點，分析安全需求，以編寫安全行為和安全條件；基于信息流理論，對IP核設計進行信息流處理，依次添加污跡標簽和污跡傳播邏輯，結合SVA語法映射為可執行屬性。本發明實現了從需求到斷言的轉換，生成的安全屬性基于SVA語言，可被大多數仿真和形式化驗證工具支持。使用者無需手動編寫安全屬性斷言，提高了IP核安全性驗證的效率。

技術領域

本發明涉及集成電路安全領域，特別是涉及一種對IP核代碼級安全需求的描述方法。

背景技術

IP核作為集成電路設計中的第三方組件，其安全性直接影響到整個集成電路系統的安全性。安全需求作為IP核代碼級安全性驗證的基準，在驗證IP核代碼級是否安全中具有重要意義。目前，現常用的安全需求描述方法為設計師采用自然語言對安全需求進行描述。

現有的方法主要存在以下問題：

(1)描述的安全需求不完備。現有的描述方法中缺少系統的安全需求分析手段，描述的安全需求受主觀影響較大，無法保證可以覆蓋所有的安全威脅；

(2)安全需求難以被工具識別、驗證。現有的描述方法采用自然語言對安全需求進行描述，絕大多數EDA工具無法直接解析自然語言，因此使用現有方法描述的安全需求在IP核的安全驗證中僅具有參考意義。

發明內容

本發明的目的在于提供一種IP核代碼級安全需求描述方法，用于解決上述現有技術的問題。

本發明一種IP核代碼級安全需求描述方法，其中，包括：步驟1：輸入IP核設計代碼及需求規格說明書；步驟2：分析IP核需求規格說明書并確定IP核的主要功能和目的，找到IP核中實現功能所需要的最小組成部分；步驟3：按照對功能實現的重要程度對組成部分進行排序，得到按重要程度排序的安全資產；步驟4：分析并確定接口，可被攻擊者獲取并對安全資產進行訪問，作為安全需求的訪問點；步驟5：依據安全資產及訪問點，分析安全需求，以編寫安全行為和安全條件；步驟6：基于信息流理論，對IP核設計進行信息流處理，依次添加污跡標簽和污跡傳播邏輯，結合SVA語法映射為可執行屬性。

根據本發明的IP核代碼級安全需求描述方法的一實施例，其中，分析并確定接口包括信號、引腳、總線以及寄存器。

根據本發明的IP核代碼級安全需求描述方法的一實施例，其中，安全行為是對待測設計中受保護資產的操作、狀態和路徑的描述。

根據本發明的IP核代碼級安全需求描述方法的一實施例，其中，安全條件為是安全行為成立時所需要滿足的條件。

根據本發明的IP核代碼級安全需求描述方法的一實施例，其中，生成可執行屬性包括：首先，對結構化描述的安全需求進行解析，提取需求中的安全資產、訪問點、安全條件和安全行為；之后，對IP核設計進行信息流處理，依次添加污跡標簽和污跡傳播邏輯，結合SVA語法映射為可執行屬性。

本發明采用采用結構化的描述方式替代傳統的自然語言描述方式，使得描述的安全需求較為規范，安全需求可以復用于其他的類似的設計中。使用者無需手動編寫安全屬性斷言，提高了IP核安全性驗證的效率。

附圖說明

圖1為安全需求與可執行屬性的映射關系示意圖；

圖2為IP核代碼級安全需求描述方法流程圖。

具體實施方式

為使本發明的目的、內容、和優點更加清楚，下面結合附圖和實施例，對本發明的具體實施方式作進一步詳細描述。