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

                                                                                                              文檔作者: 谷千軍        文檔來源: 北京理工大學
                                                                                                              更新時間: 2018年09月22日
                                                                                                              下載地址: 點擊這里
                                                                                                              文件大小: 267.40 KB
                                                                                                              下載點數: 1 點(VIP免費)
                                                                                                              /
                                                                                                              文件大小:267.40 KB
                                                                                                              下載點數:1 點(VIP會員免費)

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

                                                                                                              網友評論 more
                                                                                                              東方創想 |  網站簡介 |  會員服務 |  廣告服務 |  業務合作 | 提交需求 |  會員中心 | 在線投稿 | 版權聲明 | 友情鏈接 | 聯系我們 
                                                                                                              ©2007-2018  北京東方創想科技有限公司   
                                                                                                              運營單位:北京創想安科科技有限公司
                                                                                                              聯系電話:   E-mail:[email protected] 
                                                                                                              京ICP備11001792號    京公網安備 11010502035057號
                                                                                                              二肖中特 今晚