国产在线一区二区三区九色,国内学生情侣自拍愉拍,狠狠躁日日躁夜夜躁2022麻豆,欧美日韩亚洲国内综合网国产精品,最新亚洲无码专区,无限资源欧美男人天堂,2020年无码专区

安全管理網(wǎng)

信息流安全特性的語義模型研究

文檔作者: 谷千軍        文檔來源: 北京理工大學
點 擊 數(shù):
更新時間: 2018年09月22日
下載地址: 點擊這里
文件大小: 267.40 KB
文檔格式:       
下載點數(shù): 1 點(VIP免費)
內(nèi)容預覽
如需編輯使用,請下載。
注:預覽效果可能會出現(xiàn)部分文字亂碼(如口口口)、內(nèi)容顯示不全等問題,下載是正常的。
文件大?。?67.40 KB      文件格式:
下載點數(shù):1 點(VIP會員免費)

:以通信順序進程為語法基礎,結合信息安全模型對安全特性的約束,介紹并分析了幾種針對信息流安全特性的語義描述,并提出了信息流安全的單向特性,對其進行了相關安全特性的證明,以期對正確標識合法信息流問題進行探討,用于正確區(qū)分存在的不舍法信息流,作為解決隱通道問題的理論依據(jù),從理論分析的角度,嘗試解決信息安全的根本性問題。

收藏本頁到會員中心
網(wǎng)友評論 more
創(chuàng)想安科網(wǎng)站簡介會員服務廣告服務業(yè)務合作提交需求會員中心在線投稿版權聲明友情鏈接聯(lián)系我們