%0 Journal Article
%T The Dependent Relationships of Access Authorization Tasks and its Timed Color Petri Net Analysis Model<br>访问授权任务依赖关系及其Petri网分析
%A 王小明
%A 赵宗涛
%A 冯德民
%J 计算机科学
%D 2002
%I 
%X 1 引言访问授权是信息系统安全最重要的措施之一。支持访问授权职责分离原则是评价访问授权模型的重要技术指标。但是,现有的访问授权模型仅支持用户级授权职责分离,即不允许同一用户同时拥有某些访问权限(权限静态互斥),或者不允许同一用户在一次用户访问会话(进程)中激活其所拥有的某些访问权限(权限动态互斥),而对访问授权任务本身存在的互斥关系在目前的相关文献中讨论很少。然而,授权
%K 信息安全
%K 信息系统
%K 访问授权
%K 任务依赖关系
%K Petri网
%K 分析
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=A0CD13A7420693CF&yid=C3ACC247184A22C1&vid=771469D9D58C34FF&iid=F3090AE9B60B7ED1&sid=7E8E8B150580E4AB&eid=C753EB8AC8F551B9&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=11