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

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?

782 Views
0 Kudos
1 REPLY 1

avatar
author-rank vafs author-rank
Master Collaborator

Created ‎02-10-2026 07:43 PM

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


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.
137 Views
0 Kudos
Announcements
What's New @ Cloudera
Announcing Cloudera Streaming Analytics 1.17: Python UDFs, S...
Community Announcements
Content Update: Evolving Our Community Content for Better, A...
Community Announcements
Product Name Updates — Community Label Changes & Notificatio...
What's New @ Cloudera
Announcing Cloudera Data Lineage for Trino
What's New @ Cloudera
Announcing Cloudera Streaming Analytics Operator for Kuberne...
View More Announcements