Author:
Jagadeesan Radha,Pitcher Corin,Riely James
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Abadi, M.: Access control in a core calculus of dependency. ENTCS 172, 5–31 (2007)
2. Abadi, M., Banerjee, A., Heintze, N., Riecke, J.G.: A core calculus of dependency. In: POPL, pp. 147–160 (1999)
3. Abadi, M., Burrows, M., Lampson, B.W., Plotkin, G.D.: A calculus for access control in distributed systems. ACM Trans. Program. Lang. Syst. 15(4), 706–734 (1993)
4. Abramsky, S., Jagadeesan, R.: Game semantics for access control. ENTCS 249, 135–156 (2009)
5. Lecture Notes in Computer Science;N. Alechina,2001