共 34 条
- [1] ABEYRUWAN S, 2008, APACHE RAMPART WS SE
- [2] ALBERTS C, 2003, NETWORKED SYSTEMS SU
- [3] Anderson A., 2005, CORE HIERARCHICAL RO
- [4] Basin D., 2003, Proceedings 8th ACM Symposium on Access Control Models and Technologies (SACMAT '03), P100, DOI DOI 10.1145/775412.775425
- [5] BEISIEGEL M, 2007, 7SCA POLICY IN PRESS
- [6] Ben-Ari M., PRINCIPLES SPIN MODE
- [7] CLARKE EM, 2000, ORNA GRUMBERG DOR A
- [8] Denker G, 2003, LECT NOTES COMPUT SC, V2870, P335
- [9] DENKER G, 2003, INT SEM WEB C, P335
- [10] Goldblatt R., 1987, Logics of Time and Computation