共 50 条
- [1] Distributed proving in access-control systems 2005 IEEE Symposium on Security and Privacy, Proceedings, 2005, : 81 - 95
- [2] A CALCULUS FOR ACCESS-CONTROL IN DISTRIBUTED SYSTEMS ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1993, 15 (04): : 706 - 734
- [5] Detecting and Resolving Policy Misconfigurations in Access-Control Systems SACMAT'08: PROCEEDINGS OF THE 13TH ACM SYMPOSIUM ON ACCESS CONTROL MODELS AND TECHNOLOGIES, 2008, : 185 - 194
- [7] Efficient proving for practical distributed access-control systems COMPUTER SECURITY - ESORICS 2007, PROCEEDINGS, 2007, 4734 : 19 - +
- [8] AUTHENTICATION AND DISCRETIONARY ACCESS-CONTROL IN COMPUTER-NETWORKS COMPUTER NETWORKS AND ISDN SYSTEMS, 1985, 10 (01): : 27 - 37
- [10] Specifying and reasoning about dynamic access-control policies AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 632 - 646