Automatic error finding in access-control policies

doi:10.1145/2046707.2046727

Automatic error finding in access-control policies

Full Text:

PDF

Buy this Article

Authors:	Karthick Jayaraman	Microsoft, Redmond, WA, USA
	Vijay Ganesh	MIT, Boston, MA, USA
	Mahesh Tripunitara	University of Waterloo, Waterloo, ON, Canada
	Martin Rinard	MIT, Boston, MA, USA
	Steve Chapin	Syracuse University, Syracuse, NY, USA

	2011 Article
Bibliometrics
· Downloads (6 Weeks): 8 · Downloads (12 Months): 135 · Downloads (cumulative): 259 · Citation Count: 2

Published in:

	· Proceeding
	CCS '11 Proceedings of the 18th ACM conference on Computer and communications security
	Pages 163-174 ACM New York, NY, USA ©2011 table of contents ISBN: 978-1-4503-0948-6 doi>10.1145/2046707.2046727

Tools and Resources

Buy this Article
Request Permissions
TOC Service:
- Email
- RSS
Save to Binder
Export Formats:
- BibTeX
- EndNote
- ACM Ref
Upcoming Conference:
- CCS'13

Share:

|

Tags: access control model checking program verification security security and protection software/program verification verification

Feedback | Switch to single page view (no tabs)

**Javascript is not enabled and is required for the "tabbed view" or switch to the single page view**

Powered by

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2013 ACM, Inc.
Terms of Usage Privacy Policy Code of Ethics Contact Us

Useful downloads:

Adobe Acrobat

QuickTime

Windows Media Player

Real Player

The ACM Guide to Computing Literature

All Tags

Export Formats

Save to Binder