共 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
- [6] Efficient proving for practical distributed access-control systems COMPUTER SECURITY - ESORICS 2007, PROCEEDINGS, 2007, 4734 : 19 - +
- [7] AN INTEGRATED ACCESS-CONTROL IN HETEROGENEOUS DISTRIBUTED DATABASE-SYSTEMS MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 429 - 436
- [8] DOMAIN-BASED ACCESS-CONTROL FOR DISTRIBUTED COMPUTING SYSTEMS SOFTWARE ENGINEERING JOURNAL, 1988, 3 (05): : 161 - 170
- [9] A generalized net model of biometric access-control system PROCEEDINGS OF THE 9TH WSEAS INTERNATIONAL CONFERENCE ON AUTOMATIC CONTROL, MODELING & SIMULATION, 2007, : 77 - +
- [10] ACCESS-CONTROL SYSTEMS FOR SECURITY OFFICE ADMINISTRATION AND AUTOMATION, 1984, 45 (04): : 57 - &