寄存器傳輸級(jí)硬件設(shè)計(jì)信息流建模與安全驗(yàn)證

摘要： 近年來，已有大量研究證明信息流分析能夠有效地對(duì)設(shè)計(jì)安全屬性與安全行為進(jìn)行建模。然而，現(xiàn)有的門級(jí)抽象層次的信息流分析方法往往受制于算力和驗(yàn)證效力等因素難以應(yīng)對(duì)大規(guī)模設(shè)計(jì)，而RTL抽象層次的信息流分析方法需借助類型系統(tǒng)等形式化語言對(duì)硬件設(shè)計(jì)進(jìn)行重新描述。因此，提出了一種寄存器傳輸級(jí)硬件設(shè)計(jì)信息流建模與安全驗(yàn)證方法。該方法在寄存器傳輸級(jí)功能模型的基礎(chǔ)上構(gòu)建附加安全屬性的信息流跟蹤邏輯...