论文部分内容阅读
冲突检测和解决是访问控制授权中的重要问题。对这些问题的探索我们通过研究方法比较进行。首先研究基于逻辑程序的一种授权系统规范，然后通过一个保健部门的典型问题来分析基于传统优先和组织结构的两种冲突解决方案，最后提出基于逻辑程序LPOD（带有序析取的逻辑程序）的针对高水平授权规范中异常冲突的一种解决方法。