Verified enforcement of stateful information release policies

doi:10.1145/1513443.1513448

Verified enforcement of stateful information release policies

Full Text:

Pdf

Buy this Article

Authors:	Nikhil Swamy	University of Maryland, College Park, USA
	Michael Hicks	University of Maryland, College Park, USA

Published in:

	· Newsletter
	ACM SIGPLAN Notices archive
	Volume 43 Issue 12, December 2008 ACM New York, NY, USA table of contents doi>10.1145/1513443.1513448

	2009 Article
Bibliometrics
· Downloads (6 Weeks): 7 · Downloads (12 Months): 22 · Citation Count: 0

Tools and Resources

Buy this Article
TOC Service:
- Email
- RSS
Save to Binder
Export Formats:
- BibTeX
- EndNote
- ACM Ref

Tags: affine types certified evaluation declassification dependent types formal definitions and theory languages security singleton types state modifying policies theory verification

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

Useful downloads:

Adobe Acrobat

QuickTime

Windows Media Player

Real Player