共 50 条
- [41] Theorem proving for modeling and conflict checking of authorization policies [J]. ISCN '06: PROCEEDINGS OF THE 7TH INTERNATIONAL SYMPOSIUM ON COMPUTER NETWORKS, 2006, : 146 - +
- [45] CHECKING QUASISEQUENTIALLY READ DATA [J]. AUTOMATION AND REMOTE CONTROL, 1989, 50 (08) : 1130 - 1137
- [48] Checking Prior Antibody History Associated with Rare Blood Requests [J]. TRANSFUSION, 2018, 58 : 213A - 214A
- [50] Conflict checking of separation of duty constraints in RBAC - Implementation experiences [J]. PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2004, : 224 - 229