Sciweavers

TLDI
2010
ACM
190views Formal Methods» more  TLDI 2010»
14 years 8 months ago
Distributed programming with distributed authorization
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
Kumar Avijit, Anupam Datta, Robert Harper