关于Web浏览器中信息流的推理

如今，功能打包的web浏览器显示出越来越微妙的安全错误，例如，当包含JavaScript的HTML代码可以从另一个服务器注入页面时，这允许将敏感信息（如密码）发送给攻击者。这些错误中有许多是在实际的安全中政策而不是在错误的实现中。在本项目中，您将开发一种方法和实现，我们可以使用它来指定web浏览器的安全策略，并检查私有信息是否安全，以防安全攻击。

背景：简介。FP、数据结构、一阶逻辑；（最好）AFP、程序验证。人数：1。联系人：科恩