![](/img/cover-not-exists.png)
[IEEE 2020 IEEE 33rd Computer Security Foundations Symposium (CSF) - Boston, MA, USA (2020.6.22-2020.6.26)] 2020 IEEE 33rd Computer Security Foundations Symposium (CSF) - First-Order Logic for Flow-Limited Authorization
Hirsch, Andrew K., Amorim, Pedro H. Azevedo de, Cecchetti, Ethan, Tate, Ross, Arden, OwenYear:
2020
DOI:
10.1109/CSF49147.2020.00017
File:
PDF, 232 KB
2020