Projects in the topic s3

SMT solver for AWS Policy decisions in ceph RGW

a project by abhishekl

Currently AWS uses a SMT solver to decide on public/non-public policies Learn about SMT solvers & see how feasible using a smt solver is for supporting the more minimal policy set in ceph object storage RGW

Updated almost 2 years ago. No love. 1 follower.