技術(shù)編號(hào)：6419410
提示：您尚未登錄，請(qǐng)點(diǎn) 登 陸 后下載，如果您還沒(méi)有賬戶請(qǐng)點(diǎn) 注 冊(cè) ，登陸完成后，請(qǐng)刷新本頁(yè)查看技術(shù)詳細(xì)信息。本發(fā)明屬于操作系統(tǒng)安全，具體涉及。 背景技術(shù)隨著hternet應(yīng)用的廣泛深入，以及計(jì)算機(jī)信息系統(tǒng)安全問(wèn)題的日益凸顯，安全操作系統(tǒng)的研究已吸引了越來(lái)越多的關(guān)注。然而，我們?cè)谘芯抗ぷ髦邪l(fā)現(xiàn)，相比于安全操作系統(tǒng)的研發(fā)，安全操作系統(tǒng)的測(cè)試與驗(yàn)證更是一項(xiàng)緊迫的工作。由于安全模型通常是獨(dú)立于實(shí)現(xiàn)開(kāi)發(fā)的，我們并不能從安全模型的正確性推出其實(shí)現(xiàn)是安全的。因此，比較理想的測(cè)試方法是采用自動(dòng)化的方法生成測(cè)試用例(參考發(fā)明名稱一種可信密碼模塊的測(cè)試用例生成方法及其測(cè)試系統(tǒng)，專利...
注意：該技術(shù)已申請(qǐng)專利，請(qǐng)尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識(shí)儲(chǔ)備，不適合論文引用。
請(qǐng)注意，此類技術(shù)沒(méi)有源代碼，用于學(xué)習(xí)研究技術(shù)思路。