共 50 条
- [1] Conformance Checking of Dynamic Access Control Policies [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, 2011, 6991 : 227 - 242
- [2] Dynamic Access Control Policies: Specification and Verification [J]. COMPUTER JOURNAL, 2013, 56 (04): : 440 - 463
- [4] Specifying and enforcing constraints in dynamic access control policies [J]. 2014 TWELFTH ANNUAL INTERNATIONAL CONFERENCE ON PRIVACY, SECURITY AND TRUST (PST), 2014, : 290 - 297
- [5] Specifying and reasoning about dynamic access-control policies [J]. AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 632 - 646
- [6] Automatic enforcement of access control policies among dynamic coalitions [J]. DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, PROCEEDINGS, 2004, 3347 : 369 - 378
- [7] Dynamic deployment of Access and Usage Control Policies Using Aspects [J]. 2015 INTERNATIONAL CONFERENCE ON PROTOCOL ENGINEERING (ICPE) AND INTERNATIONAL CONFERENCE ON NEW TECHNOLOGIES OF DISTRIBUTED SYSTEMS (NTDS), 2015,
- [8] On the Practicality of Cryptographically Enforcing Dynamic Access Control Policies in the Cloud [J]. 2016 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP), 2016, : 819 - 838
- [9] Model Checking Agent Knowledge in Dynamic Access Control Policies [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2013, 2013, 7795 : 448 - 462