Using Z3 theorem prover to analyze role-based access permissions (goteleport.com) 7 points by old-gregg 4y ago ↗ HN
0 comments
[ 3.1 ms ] story [ 12.6 ms ] threadNo comments yet.