Block public access: trust safety verification of access control policies-Reference-Cited by-同舟云学术

Block public access: trust safety verification of access control policies

Published:2020-11-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Bouchet Malik¹,Cook Byron¹,Cutler Bryant¹,Druzkina Anna¹,Gacek Andrew¹,Hadarean Liana¹,Jhala Ranjit¹,Marshall Brad¹,Peebles Dan¹,Rungta Neha¹,Schlesinger Cole¹,Stephens Chriss¹,Varming Carsten¹,Warfield Andy¹

Affiliation:

1. Amazon, USA

Publisher

ACM

Link

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

Reference20 articles.

1. Semantic-based Automated Reasoning for AWS Access Policies using SMT. In 2018 Formal Methods in Computer Aided Design (FMCAD);Backes John;IEEE,2018

2. Cassandra: flexible trust management, applied to electronic health records

3. TRBAC

4. Z3str3: A String Solver with Theory-aware Heuristics

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

1. Automated Infrastructure as Code Program Testing;IEEE Transactions on Software Engineering;2024-06

2. GRASP: Hardening Serverless Applications through Graph Reachability Analysis of Security Policies;Proceedings of the ACM Web Conference 2024;2024-05-13

3. Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural Networks;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

4. Quantitative Policy Repair for Access Control on the Cloud;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12

5. Verifying Data Constraint Equivalence in FinTech Systems;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05