Lakshmisubrahmanyam Velaga

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, G. Ramalingam, Lakshmisubrahmanyam Velaga
EON: modeling and analyzing dynamic access control systems with logic programs. CCS (2008)