共 50 条
- [4] REWRITE, REWRITE, REWRITE, REWRITE, REWRITE CONFERENCE RECORD OF THE SIXTEENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 1989, : 250 - 259
- [6] Rewrite Specifications of Access Control Policies in Distributed Environments SECURITY AND TRUST MANAGEMENT, 2011, 6710 : 51 - +
- [7] Weaving Rewrite-Based Access Control Policies FMSE'07: PROCEEDINGS OF THE 2007 ACM WORKSHOP ON FORMAL METHODS IN SECURITY ENGINEERING, 2007, : 71 - 80
- [9] Symbolic Analysis of Network Security Policies using Rewrite Systems PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING, 2011, : 77 - 88