There is a newer version of the record available.

Published September 29, 2025 | Version v1.0.1
Dataset Open

Artifact for ASE 2025 Paper "RELIA: Accelerating Analysis of Cloud Access Control Policies"

Authors/Creators

  • 1. ROR icon Xi'an Jiaotong University
  • 2. Huawei Cloud

Description

The artifact includes:

  1. RELIA prototype's source code.
  2. Public and hard datasets tested by RELIA.

See README.md.

Files

relia-java-1.0.1-anon.zip

Files (18.7 MB)

Name Size Download all
md5:815e6f5813d11ec989ad412e22a5846e
18.7 MB Preview Download

Additional details

References

  • Preiner, M., Schurr, H.-J., Barrett, C., Fontaine, P., Niemetz, A., & Tinelli, C. (2025). SMT-LIB release 2025 (non-incremental benchmarks) (2025.08.04) [Data set]. Zenodo. https://doi.org/10.5281/zenodo.16740866
  • Eiers, W., Sankaran, G., Li, A., O'Mahony, E., Prince, B., & Bultan, T. (2022, October). Quacky: Quantitative Access Control Permissiveness Analyzer✱. In Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (pp. 1-5).
  • Thiffault, C., Bacchus, F., & Walsh, T. (2004, September). Solving non-clausal formulas with DPLL search. In International Conference on Principles and Practice of Constraint Programming (pp. 663-678). Berlin, Heidelberg: Springer Berlin Heidelberg.