1972 年,作為承擔美國空軍的一項計算機安全規劃研究任務的研究成果,J.P. Anderson 在研究報告Computer Security Technology Planning Study (Oct, 1972)中提出了引用監控機(reference monitor)、引用驗證機制(reference validation mechanism)、安全核(security kernel)等重要思想。可信計算機系統評估準則(TCSEC)中的B3級別規定,必須執行參考監控的概念。
引用監控器是一種特殊的監控器,負責控制對系統資源的訪問。J.P. Anderson 把引用監控機的具體實現稱為引用驗證機制,它是實現引用監控機思想的硬體和軟體的組合。
引用驗證機制需要同時滿足以下三個原則:
(1)必須具有自我保護能力;
(2)必須總是處於活躍狀態;
(3)必須設計得足夠小,以利於分析和測試,從而能夠證明它的實現是正確的。
相關詞條
-
java記憶體模型
進入一個給定監控器所保護的 同步語句塊,也就是說在該情況下,執行程式代碼...,當輸入一個同步塊時,快取失效。因此在JVM內部提供給定監控器保護的同步塊之中,一個執行緒所寫入的值對於其餘所有的執行由 同一個監控器保護的同步塊執行緒來...
JMM簡介 堆和棧 java對象的記憶體分配 -
計算機信息系統安全保護等級劃分準則
安全保護等級的增高,逐漸增強。引用標準下列標準所包含的條文,通過在本標準中引用而構成本標準的條文。本標準出版時,所示版本均為有效。所有標準都會被...的通信通道。訪問監控器監控主體和客體之間授權訪問關係的部件。等級劃分準則...
範圍 引用標準 定義 等級劃分準則 -
報表引擎
的每個算法、算法執行次序、是否循環或分解、引用的外部套用接口、路由等信息...從資料庫中提取數據信息、各種信息的計算。(6)引擎監控器:這一部分是輔助功能...監控器可以跟蹤報表的執行過程,並記錄它的執行過程;也可以對運行的報表執行...
結構 工作流程 接口 定義語言 -
等級保護
等級保護制度已經被列入國務院《關於加強信息安全保障工作的意見》之中。如何對信息系統實行分等級保護一直是社會各方關注的熱點。...
-
深圳市銳達視科技有限公司
公司簡介公司順利通過了ISO9000國際質量認證,全面引用ERP管理...CE、FCC、CMA等國際權威機構的認證。以監控器專業製造商為己任,秉承...用戶提供安全、成熟、性價比高的視頻產品,讓RDS品牌成為安防行業中監控器...
公司簡介 主要市場: -
《WebSphere業務集成方法》
SCA構件 2.4.3導入 2.4.4導出 2.4.5獨立引用 2.5業務...的業務流程 6.2.1創建短時間運行的流程 6.2.2添加引用夥伴 6.2.3...
版權資訊 作者簡介 編輯推薦 目錄 -
WebSphere業務集成方法
SCA構件2.4.3導入2.4.4導出2.4.5獨立引用2.5業務集成...創建短時間運行的流程6.2.2添加引用夥伴6.2.3調用夥伴的操作...”11.1SCA編程模型11.1.1以編程方式使用SCA:Java引用...
作者簡介 編輯推薦 目錄 -
豐臣toyotomi空氣淨化器
感應裝置、可顯示空氣品質監控器、產生離子裝置、多層高效過濾網、深層淨化...、環境問題日益嚴峻1、環境污染日益嚴峻引用潘石屹新浪微博的一句話,人活著...監控器——顯示房間空氣品質的“紅綠燈” 可監控空氣中灰塵、異味...
產品概況 一、環境問題日益嚴峻 二、日本豐臣電器 三、空氣污染 -
sum
相鄰或不相鄰。)、 單元格引用(Microsoft Excel 中“單元格引用”是指:用於表示單元格在工作表上所處位置的坐標集。例如,顯示在第 B 列和第 3 行交叉處的單元格,其引用形式為“B3”。)、 數組...
linux套用 C語言套用 Excel套用 軟體 函式