A logic program solution for conflict authorizations
暂无分享,去创建一个
[1] Jorge Lobo,et al. A Logic Programming Approach to Conflict Resolution in Policy Management , 2000, KR.
[2] Krzysztof R. Apt,et al. Logic Programming and Negation: A Survey , 1994, The Journal of Logic Programming.
[3] Elisa Bertino,et al. An Authorization Model and Its Formal Semantics , 1998, ESORICS.
[4] Simon S. Lam,et al. Authorization in distributed systems: a formal approach , 1992, Proceedings 1992 IEEE Computer Society Symposium on Research in Security and Privacy.
[5] Yan Zhang,et al. Implementing Prioritized Logic Programming , 1999, ISMIS.
[6] Joan Feigenbaum,et al. Delegation logic: A logic-based approach to distributed authorization , 2003, TSEC.
[7] Yan Zhang,et al. The Characterization on the Uniqueness of Answer Set for Prioritized Logic Programs , 2003, ISMIS.
[8] Sushil Jajodia,et al. Flexible support for multiple access control policies , 2001, TODS.