计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2007年
3期
283-285,289
,共4页
角色访问控制%条件%时态%约束
角色訪問控製%條件%時態%約束
각색방문공제%조건%시태%약속
具有时态特征的角色访问控制(RBAC:Role Based Access Control)模型能够为RBAC控制机制提供动态的时间控制因素,是目前安全模型领域的研究热点.基于对周期理论和时态RBAC模型的研究,本文认为时态不仅能够为模型提供时间维的控制因素,而且模型中的约束也能作用于时间维形成条件时态平面的控制因素,从而能够进一步提高模型控制的灵活性和多样性.为此,本文提出了条件周期表达式和条件时态的概念,形式化描述了条件时态语义;并通过条件周期事件和角色状态在条件周期下的断言详细论述了条件时态.
具有時態特徵的角色訪問控製(RBAC:Role Based Access Control)模型能夠為RBAC控製機製提供動態的時間控製因素,是目前安全模型領域的研究熱點.基于對週期理論和時態RBAC模型的研究,本文認為時態不僅能夠為模型提供時間維的控製因素,而且模型中的約束也能作用于時間維形成條件時態平麵的控製因素,從而能夠進一步提高模型控製的靈活性和多樣性.為此,本文提齣瞭條件週期錶達式和條件時態的概唸,形式化描述瞭條件時態語義;併通過條件週期事件和角色狀態在條件週期下的斷言詳細論述瞭條件時態.
구유시태특정적각색방문공제(RBAC:Role Based Access Control)모형능구위RBAC공제궤제제공동태적시간공제인소,시목전안전모형영역적연구열점.기우대주기이론화시태RBAC모형적연구,본문인위시태불부능구위모형제공시간유적공제인소,이차모형중적약속야능작용우시간유형성조건시태평면적공제인소,종이능구진일보제고모형공제적령활성화다양성.위차,본문제출료조건주기표체식화조건시태적개념,형식화묘술료조건시태어의;병통과조건주기사건화각색상태재조건주기하적단언상세논술료조건시태.
