共 20 条
- [1] [Anonymous], 2011, WS SECURITY POLICY 1
- [2] [Anonymous], 2011, WEB SERVICES POLICY
- [3] [Anonymous], 2011, WEB SERVICES SECURIT
- [4] [Anonymous], 2011, EXTENSIBLE ACCESS CO
- [5] [Anonymous], 2011, WEB SERVICES BUSINES
- [6] Bhargavan K., 1992, P 11 ACM C COMP COMM, P268
- [7] Charfi A, 2005, 2005 IEEE International Conference on Web Services, Vols 1 and 2, Proceedings, P59
- [8] Eclipse BPEL Project, 2011, ECL BPEL PROJ
- [9] A LOGIC FOR REASONING ABOUT SECURITY [J]. ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1992, 10 (03): : 226 - 264
- [10] Using first-order logic to reason about policies [J]. 16TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2003, : 187 - 201