Cloudera Community

Support Questions

Find answers, ask questions, and share your expertise
cancel
Turn on suggestions
Showing results for 
Show  only  | Search instead for 
Did you mean: 
Advanced Search
Solved Go to solution

Formal methods and Apache Ranger policies

Labels:
avatar
author-rank phr1
New Contributor

Created ‎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?

381 Views
0 Kudos
0
0 ACCEPTED SOLUTIONS
0 REPLIES 0
Announcements
What's New @ Cloudera
[RELEASED] Cloudera Streaming Analytics - Kubernetes Operato...
What's New @ Cloudera
[RELEASED] Cloudera Streams Messaging - Kubernetes Operator ...
Community Announcements
February 2025 Community Highlights
What's New @ Cloudera
3 Benefits of External IDE Connectivity, Now Available in Cl...
What's New @ Cloudera
Performance comparison of Spark3 on YARN with S3 Standard VS...
View More Announcements