A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Reactive non-interference for a browser model
2011
2011 5th International Conference on Network and System Security
Preserved Fulltext
We investigate non-interference (secure information flow) policies for web browsers, replacing or complementing the Same Origin Policy. First, we adapt a recently proposed dynamic information flow enforcement mechanism to support asynchronous I/O. We prove detailed security and precision results for this enforcement mechanism, and implement it for the Featherweight Firefox browser model. Second, we investigate three useful web browser security policies that can be enforced by our mechanism, and demonstrate their value and limitations.
doi:10.1109/icnss.2011.6059965
dblp:conf/nss/BielovaDMP11
fatcat:5zjtwnukhzhtvm4rb6chxiowyi