Y
Hacker News
new
|
ask
|
show
|
jobs
How Stedi uses automated reasoning for access control policy verification
(
stedi.com
)
1 points
by
zkanter
1235 days ago
1 comments
zkanter
1235 days ago
Full paper:
https://www.stedi.com/documents/papers/how-stedi-uses-automa...
link