计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2009年
4期
42-46
,共5页
访问控制%逻辑%可判定性%安全性分析
訪問控製%邏輯%可判定性%安全性分析
방문공제%라집%가판정성%안전성분석
描述了访问控制和逻辑的关系,并将访问控制授权判决问题归约成逻辑蕴涵问题;总结了基于逻辑的访问控制的基本逻辑问题,即逻辑基础、可判定性和安全性分析;分析了一些访问控制模型的基本逻辑问题,包括基于身份的访问控制模型、基于信任管理的访问控制模型和基于属性的访问控制模型;指出了结构化属性描述能力和安全性分析是基于逻辑的访问控制需要进一步研究的问题.
描述瞭訪問控製和邏輯的關繫,併將訪問控製授權判決問題歸約成邏輯蘊涵問題;總結瞭基于邏輯的訪問控製的基本邏輯問題,即邏輯基礎、可判定性和安全性分析;分析瞭一些訪問控製模型的基本邏輯問題,包括基于身份的訪問控製模型、基于信任管理的訪問控製模型和基于屬性的訪問控製模型;指齣瞭結構化屬性描述能力和安全性分析是基于邏輯的訪問控製需要進一步研究的問題.
묘술료방문공제화라집적관계,병장방문공제수권판결문제귀약성라집온함문제;총결료기우라집적방문공제적기본라집문제,즉라집기출、가판정성화안전성분석;분석료일사방문공제모형적기본라집문제,포괄기우신빈적방문공제모형、기우신임관리적방문공제모형화기우속성적방문공제모형;지출료결구화속성묘술능력화안전성분석시기우라집적방문공제수요진일보연구적문제.