Static and Dynamic Analysis of a Usage Control System-Reference-Cited by-同舟云学术

Static and Dynamic Analysis of a Usage Control System

Published:2024-06-24 Issue: Volume:3 Page:59-70
ISSN:
Container-title:Proceedings of the 29th ACM Symposium on Access Control Models and Technologies
language:
Short-container-title:

Author:

Schöpp Ulrich¹^ORCID,Faghih Fathiyeh¹^ORCID,Bandopadhyay Subhajit²^ORCID,Joumaa Hussein³^ORCID,Ibrahim Amjad⁴^ORCID,Xu Chuangjie¹^ORCID,Ye Xin¹^ORCID,Dimitrakos Theo⁵^ORCID

Affiliation:

1. fortiss GmbH, Munich, Germany

2. Huawei Technologies Düsseldorf & City, University of London, Munich, Germany

3. Huawei Technologies Düsseldorf & University of Trento, Trento, Italy, Germany

4. Huawei Technologies Düsseldorf, Munich, Germany

5. Huawei Technologies Düsseldorf & University of Kent, Munich, Germany

Publisher

ACM

Link

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

Reference35 articles.

1. Representing and Reasoning about Web Access Control Policies

2. Timed regular expressions

3. Analysis of XACML policies with ASP

4. John Backes, Ulises Berrueco, Tyler Bray, Daniel Brim, Byron Cook, Andrew Gacek, Ranjit Jhala, Kasper Luckow, Sean McLaughlin, Madhav Menon, Daniel Peebles, Ujjwal Pugalia, Neha Rungta, Cole Schlesinger, Adam Schodde, Anvesh Tanuku, Carsten Varming, and Deepa Viswanathan. 2020. Stratified Abstraction of Access Control Policies. In Computer Aided Verification. LNCS, Vol. 12224. Springer, 165--176.

5. John Backes, Pauline Bolignano, Byron Cook, Catherine Dodge, Andrew Gacek, Kasper Luckow, Neha Rungta, Oksana Tkachuk, and Carsten Varming. 2018. Semantic-based Automated Reasoning for AWS Access Policies using SMT. In 2018 Formal Methods in Computer Aided Design (FMCAD). IEEE, 1--9.