A Logic-Based Safety Analysis Algorithm for Discretionary Access Control
For the issue of the discretionary access control (DAC) model safety analysis,a logic method is proposed.This method takes the GD model as the classic DAC model and Prolog as the basic language to describe system states and state transfer rules.A general program based on this logic method is proposed for DAC safety analysis,but this program may never be terminal for some safety analysis goal.The safety analysis algorithm is achieved by simplifying the general program according to the property of the DAC model state transfer rules.This safety analysis algorithm is easier to understand and implement than the previous algorithms and its time complexity is O(N+M+T),in which N,M,and T are the numbers of the rights with copy flag,the policies for right transferring,and the policies for right permitting,respectively.
discretionary access control (DAC) safety analysis logic state transfer
YAN Xuexiong WANG Qingxian ZHU Junhu XI Qi
National Digital Switching System Engineering and Technological R&D Center,Zhengzhou 450002,Henan,China
国内会议
福州
英文
531-538
2012-10-27（万方平台首次上网日期，不代表论文的发表时间）