分布式環(huán)境下的約束訪問(wèn)控制技術(shù)研究.pdf

1、訪問(wèn)控制技術(shù)是分布式系統(tǒng)中一項(xiàng)關(guān)鍵的安全技術(shù).它在保證合法活動(dòng)者(包括用戶和軟代理)訪問(wèn)合理資源的前提下,可以有效限制系統(tǒng)活動(dòng)者對(duì)關(guān)鍵資源的訪問(wèn),防止非法活動(dòng)者的侵入和合法活動(dòng)者的不慎操作造成對(duì)安全計(jì)算機(jī)系統(tǒng)的破壞.論文在AVIDM、ZD-PDM、DocMan、eMES、基于ASP的網(wǎng)絡(luò)化制造集成服務(wù)與系統(tǒng)等項(xiàng)目的支持下,以企業(yè)應(yīng)用環(huán)境作為典型的分布式環(huán)境研究柔性訪問(wèn)控制技術(shù),來(lái)滿足現(xiàn)代企業(yè)信息系統(tǒng)中對(duì)訪問(wèn)控制提出的需求.第一部分,闡述

2、訪問(wèn)控制技術(shù)的起源及發(fā)展,并非形式化定義了訪問(wèn)控制.第二部分,以本體描述語(yǔ)言—Ontolingua為建模語(yǔ)言,建立面向訪問(wèn)控制的企業(yè)信息模型(OBEIMAC).第三部分,以本體描述語(yǔ)言—Ontolingua和知識(shí)描述語(yǔ)言—KIF為建模語(yǔ)言,完整地描述基于本體論的約束訪問(wèn)控制模型.第四部分,提出約束訪問(wèn)控制模型中的約束不一致問(wèn)題可以通過(guò)規(guī)則定義和邏輯推理來(lái)檢測(cè)、避免和處理的概念.第五部分,討論部分開(kāi)放分布式環(huán)境下的訪問(wèn)控制技術(shù)及其解決.第