From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
Abstract
Index Terms
- From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
Recommendations
From fine- to coarse-grained dynamic information flow control and back
We show that fine-grained and coarse-grained dynamic information-flow control (IFC) systems are equally expressive. To this end, we mechanize two mostly standard languages, one with a fine-grained dynamic IFC system and the other with a coarse-grained ...
Fine-grained information flow control using attributes
Highlights- IFC policies are defined over a universe set of attributes.
- The computation ...
AbstractInformation flow control (IFC) mechanisms regulate where information is allowed to travel. To enhance IFC, access control encryption (ACE) was proposed where both the no write-down rule and the no read-up rule are supported. ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Publisher
Now Publishers Inc.
Hanover, MA, United States
Publication History
Qualifiers
- Review-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in