I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - NETRA: Seeing Through Access Control

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}
}

PDF (794 kB)