Netra
Netra is a snapshot-based tool for static
analysis of access control permissions based on logic programming. It can
identify potential vulnerabilities at the level of configuration metadata.
People
Lakshmisubrahmanyam Velaga (alumnus)
John Lambert
Interns and Visitors
Aditya Parameswaran
Stefan Schwoon
Avik Chaudhuri
Pavol Cerny
- Prasad Naldurg, Stefan Schwoon, Sriram Rajamani, and
John Lambert. NETRA: Seeing through access control. In Andrew D.
Gordon and David Sands, editors, Proceedings of the 4th ACM Workshop
on Formal Methods in Security Engineering (FMSE), pages 55–66,
Alexandria, USA, November 2006. [pdf][pptx]