Formal methods and Apache Ranger policies

Hello,

Has anyone ever used formal methods or a logic language such as TlaPlus to check Apache Ranger policies?

If so, could you please provide examples?

Gold ⭐️⭐️⭐️

I know this is old topic, but do you have solution applied on this so it can be shared with the community @phr1 ?

Translate

Sign up