%0 Conference Paper %1 conf/csfw/HirschACTA20 %A Hirsch, Andrew K. %A de Amorim, Pedro H. Azevedo %A Cecchetti, Ethan %A Tate, Ross %A Arden, Owen %B CSF %D 2020 %I IEEE %K dblp %P 123-138 %T First-Order Logic for Flow-Limited Authorization. %U http://dblp.uni-trier.de/db/conf/csfw/csfw2020.html#HirschACTA20 %@ 978-1-7281-6572-1

@inproceedings{conf/csfw/HirschACTA20, added-at = {2022-01-03T00:00:00.000+0100}, author = {Hirsch, Andrew K. and de Amorim, Pedro H. Azevedo and Cecchetti, Ethan and Tate, Ross and Arden, Owen}, biburl = {https://www.bibsonomy.org/bibtex/2f34b0eaeb27d855a673b9bfe3a8b222d/dblp}, booktitle = {CSF}, crossref = {conf/csfw/2020}, ee = {https://doi.org/10.1109/CSF49147.2020.00017}, interhash = {44e49b5e207d3442bb1325cd91d78ca5}, intrahash = {f34b0eaeb27d855a673b9bfe3a8b222d}, isbn = {978-1-7281-6572-1}, keywords = {dblp}, pages = {123-138}, publisher = {IEEE}, timestamp = {2024-04-10T11:43:10.000+0200}, title = {First-Order Logic for Flow-Limited Authorization.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csfw2020.html#HirschACTA20}, year = 2020 }