From Authorization Logics to Types for Authorization

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89330-1_18 ◽

2008 ◽

pp. 255-255

Author(s):

Radha Jagadeesan

Download Full-text