Prasad Naldurg, Stefan Schwoon, Sriram K. Rajamani, John Lambert. ::::NETRA::::: : seeing through access control. In Marianne Winslett, Andrew D. Gordon, David Sands, editors, Proceedings of the 2006 ACM workshop on Formal methods in security engineering, FMSE 2006, Alexandria, VA, USA, November 3, 2006. pages 55-66, ACM, 2006. [doi]
Abstract is missing.