Coverage-Based Testing of Obligations in NGAC Systems-Reference-Cited by-同舟云学术

Coverage-Based Testing of Obligations in NGAC Systems

Published:2023-05-24 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 28th ACM Symposium on Access Control Models and Technologies
language:
Short-container-title:

Author:

Chen Erzhuo¹^ORCID,Dubrovenski Vladislav¹^ORCID,Xu Dianxiang¹^ORCID

Affiliation:

1. University of Missouri - Kansas City, Kansas City, MO, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3589608.3593832

Reference20 articles.

1. R. Basnet , R. Mukherjee , V.M Pagadala , and R. Ray . 2018. An efficient implementation of Next Generation Access Control for the mobile health cloud . In 2018 Third International Conference on Fog and Mobile Edge Computing (FMEC). 131--138 . R. Basnet, R. Mukherjee, V.M Pagadala, and R. Ray. 2018. An efficient implementation of Next Generation Access Control for the mobile health cloud. In 2018 Third International Conference on Fog and Mobile Edge Computing (FMEC). 131--138.

2. E. Chen , V. Dubrovenski , and D. Xu . 2021. Mutation Analysis of NGAC Policies . In Proceedings of the 26th ACM Symposium on Access Control Models and Technologies. 71--82 . E. Chen, V. Dubrovenski, and D. Xu. 2021. Mutation Analysis of NGAC Policies. In Proceedings of the 26th ACM Symposium on Access Control Models and Technologies. 71--82.

3. O. Chowdhury , M. Pontual , W. H. Winsborough , T. Yu , K. Irwin , and J. Niu . 2012. Ensuring Authorization Privileges for Cascading User Obligations . In Proceedings of the 17th ACM Symposium on Access Control Models and Technologies ( Newark, New Jersey, USA) (SACMAT '12). Association for Computing Machinery, New York, NY, USA, 33--44. https://doi.org/10.1145/2295136.2295144 10.1145/2295136.2295144 O. Chowdhury, M. Pontual, W. H. Winsborough, T. Yu, K. Irwin, and J. Niu. 2012. Ensuring Authorization Privileges for Cascading User Obligations. In Proceedings of the 17th ACM Symposium on Access Control Models and Technologies (Newark, New Jersey, USA) (SACMAT '12). Association for Computing Machinery, New York, NY, USA, 33--44. https://doi.org/10.1145/2295136.2295144

4. V. Dubrovenski , E. Chen , and D. Xu . 2023. SMT-Based Verification of NGAC Policies . In Proc. of the IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC'23) . V. Dubrovenski, E. Chen, and D. Xu. 2023. SMT-Based Verification of NGAC Policies. In Proc. of the IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC'23).

5. W. Jansen (Ed.). 2020. Next Generation Access Control (NGAC) DPANS INCITS 565 Final. W. Jansen (Ed.). 2020. Next Generation Access Control (NGAC) DPANS INCITS 565 Final.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Dynamic Access Control with Administrative Obligations: A Case Study;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C);2023-10-22