Platform
Platform
Why Teleport
How It Works
Access Modules
SSH
Kubernetes
Databases
Internal Applications
Windows
Our Features
Assist
Single Sign On
Just In Time Access Requests
Role Based Access Control
Audit and Session Recordings
Device Trust
Passwordless
Solutions
By Industry
E-commerce & Entertainment
Financial Services
Software-as-a-service (SaaS) Providers
By Use Case
Privileged Access Management
Machine-to-Machine Access
Developer-friendly browser
Passwordless Infrastructure Access
By Cloud Provider
Infrastructure Access for AWS
Integrations
Documentation
Documentation
Teleport Clients
How It Works
Teleport Labs
Teleport Community
Teleport Slack Channel
GitHub
Learn
The Blog
Our Customers
Resources
Learn
Events
Pricing
Company
About Us
Careers
News
Partners
Sign In
Sign in to Teleport
Teleport Cloud Login
Login to your Teleport Account
Dashboard Login
Legacy Login & Teleport Enterprise Downloads
Get Started
Article & News
Teleport Blog
Articles by topic z3
Jan 19, 2022
By Andrew Helwer
Using Z3 Theorem Prover to analyze RBAC
Learn how to use Z3 to ask questions about our RBAC system. Are two roles the same?
rbac
z3
Articles by Topic
AWS
access-requests
announcements
applications
audit
audit-logs
bastion
certificates
company
compliance
cybersecurity
database
databases
device-trust
engineering
gravity
kubecon
kubernetes
mongodb
okta
pam
passwordless
postgres
programming
rbac
saml
security
snowflake
ssh
sso
teleport
vpn
webauthn
windows
z3