Cloudera Community

Support Questions

Find answers, ask questions, and share your expertise
cancel
Turn on suggestions
Auto-suggest helps you quickly narrow down your search results by suggesting possible matches as you type.
Showing results for 
Show  only  | Search instead for 
Did you mean: 
Advanced Search
Announcements
Now Live: Explore expert insights and technical deep dives on the new Cloudera Community Blogs — Read the Announcement
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?

601 Views
0 Kudos
0 ACCEPTED SOLUTIONS
0 REPLIES 0
Announcements
Community Announcements
Announcing the Launch of Cloudera Community Blogs
Community Announcements
October / November 2025 Community Highlights
What's New @ Cloudera
Announcing Cloudera Streaming Analytics - Kubernetes Operato...
What's New @ Cloudera
Announcing Cloudera Streams Messaging - Kubernetes Operator ...
Community Announcements
Welcome to the Cloudera Community!
View More Announcements