Member since
05-23-2024
3
Posts
0
Kudos Received
0
Solutions
05-23-2024
10:18 AM
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?
... View more
Labels:
- Labels:
-
Apache Ranger