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