SIGN IN
SIGN UP
Reactive noninterference
Full Text:
PDF
Buy this Article
Authors:
Aaron Bohannon
University of Pennsylvania, Philadelphia, PA, USA
Benjamin C. Pierce
University of Pennsylvania, Philadelphia, PA, USA
Vilhelm Sjöberg
University of Pennsylvania, Philadelphia, PA, USA
Stephanie Weirich
University of Pennsylvania, Philadelphia, PA, USA
Steve Zdancewic
University of Pennsylvania, Philadelphia, PA, USA
2009 Article
Bibliometrics
· Downloads (6 Weeks): 28
· Downloads (12 Months): 64
· Downloads (cumulative): 314
· Citation Count: 12
Published in:
· Proceeding
CCS '09
Proceedings of the 16th ACM conference on Computer and communications security
Pages 79-90
ACM
New York, NY
, USA
©2009
table of contents
ISBN: 978-1-60558-894-0
doi>
10.1145/1653662.1653673
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:
information flow
interactive and reactive computation
languages
noninterference
reactive programming
security
theory
web applications
web browsers
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 Guide to Computing Literature
All Tags
Export Formats
Save to Binder