How Stedi uses automated reasoning for access control policy verification

1 pointzkanter3 years ago1 comment

Full paper: https://www.stedi.com/documents/papers/how-stedi-uses-automa...