Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
NETRA: Seeing Through Access Control

Prasad Naldurg, Stefan Schwoon, Sriram Rajamani, and John Lambert

Details

Publication typeInproceedings
Published inProceedings of the 4th ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE)
PublisherAssociation for Computing Machinery, Inc.
> Publications > NETRA: Seeing Through Access Control