Reference:

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.

Suggested BibTeX entry:

@inproceedings{NSRL06,
    address = {Alexandria, USA},
    author = {Prasad Naldurg and Stefan Schwoon and Sriram Rajamani and John Lambert},
    booktitle = {Proceedings of the 4th ACM Workshop on Formal Methods in Security Engineering (FMSE)},
    editor = {Andrew D. Gordon and David Sands},
    month = {November},
    pages = {55--66},
    title = {{NETRA}: Seeing Through Access Control},
    year = {2006}
}