Search for persons
X
?
2020 IEEE 33rd Computer Security Foundations Symposium (CSF) ,
7
First-Order Logic for Flow-Limited Authorization:
, In:
?
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security ,
10