共 50 条
- [2] Distributed proving in access-control systems [J]. 2005 IEEE Symposium on Security and Privacy, Proceedings, 2005, : 81 - 95
- [3] A CALCULUS FOR ACCESS-CONTROL IN DISTRIBUTED SYSTEMS [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1993, 15 (04): : 706 - 734
- [4] INTEGRATION OF USER AUTHENTICATION AND ACCESS-CONTROL [J]. IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1992, 139 (02): : 139 - 143
- [6] ACCESS-CONTROL AND SECURITY FOR A DISTRIBUTED CONTROL-SYSTEM [J]. NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT, 1994, 352 (1-2): : 289 - 292
- [9] Efficient proving for practical distributed access-control systems [J]. COMPUTER SECURITY - ESORICS 2007, PROCEEDINGS, 2007, 4734 : 19 - +
- [10] CONTEXT-DEPENDENT ACCESS-CONTROL IN DISTRIBUTED SYSTEMS [J]. COMPUTER SECURITY, 1993, 37 : 137 - 155