Reactive non-interference for a browser model
Reactive non-interference for a browser model
复制标题
浏览器模型的反应式无干扰
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Frank Piessens
中科院分区：
文献类型：
--
作者：
Nataliia Bielova;Dominique Devriese;F. Massacci;Frank Piessens
我们调查网络浏览器的非干扰（安全信息流）策略，取代或补充同源策略。首先，我们适应最近提出的动态信息流执行机制，以支持异步I/O。我们证明了这种执行机制的详细的安全性和精度的结果，并实现了轻量级Firefox浏览器模型。其次，我们调查了三个有用的Web浏览器的安全策略，可以通过我们的机制，并证明他们的价值和局限性。
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.