中南民族大学学报（自然科学版）
中南民族大學學報（自然科學版）
중남민족대학학보（자연과학판）
JOURNAL OF SOUTH-CENTRAL UNIVERSITY FOR NATIONALITIES(NATURAL SCIENCE EDITION)
2008年
4期
92-95
,共4页
角色%访问控制%约束描述
角色%訪問控製%約束描述
각색%방문공제%약속묘술
提出了一个描述基于角色访问控制的授权约束的直观的形式化语言,证明了该授权约束描述语言在语义上与严格形式的一阶谓词逻辑RFOPL是等价的,并通过用该授权约束描述语言表示各种各样的授权约束来说明它的表现能力.
提齣瞭一箇描述基于角色訪問控製的授權約束的直觀的形式化語言,證明瞭該授權約束描述語言在語義上與嚴格形式的一階謂詞邏輯RFOPL是等價的,併通過用該授權約束描述語言錶示各種各樣的授權約束來說明它的錶現能力.
제출료일개묘술기우각색방문공제적수권약속적직관적형식화어언,증명료해수권약속묘술어언재어의상여엄격형식적일계위사라집RFOPL시등개적,병통과용해수권약속묘술어언표시각충각양적수권약속래설명타적표현능력.
