Distributed programming with distributed authorization (2010)

by K Avijit, A Datta, R Harper
Venue:In ACM SIGPLANSIGACT Symposium on Types in Language Design and Implementation