Formal methods and Apache Ranger policies

1 reply
1000 views
Translate All

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?

Apache Ranger

vafs

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

Regards, Andrés Fallas -- Was your question answered? Please take some time to click on "Accept as Solution" below this post. If you find a reply useful, say thanks by clicking on the thumbs-up button.

Sign up

Please use your Cloudera account.

Login to the community

Please use your Cloudera account.