技術(shù)特征：

技術(shù)總結(jié)
本發(fā)明公開了一種基于NuSMV的訪問控制規(guī)則的覆蓋性檢測方法，屬于信息安全技術(shù)領(lǐng)域，具體包括以下步驟：對訪問控制規(guī)則進行標準化；對訪問控制系統(tǒng)應(yīng)該滿足的特性進行標準化；對訪問控制規(guī)則的否定進行標準化；構(gòu)造模型與變異模型；調(diào)用NUSMV進行覆蓋性檢測。本發(fā)明能夠?qū)υL問控制規(guī)則的正確性進行分析，進一步保證了系統(tǒng)的安全性。

技術(shù)研發(fā)人員：劉志鋒;陳凱;周從華;李雷;施化吉;單田華;呂江華
受保護的技術(shù)使用者：江蘇大學(xué)
技術(shù)研發(fā)日：2017.02.15
技術(shù)公布日：2017.07.14