27、WebKit JavaScript字节码与分离逻辑中的信息流控制

WebKit JavaScript字节码与分离逻辑中的信息流控制

在计算机安全领域，信息流控制（IFC）是一个至关重要的研究方向，它主要关注信息在系统中的传播和追踪，旨在确保高安全性数据不会意外泄露给低安全性的观察者。本文将围绕WebKit的JavaScript字节码中的信息流控制以及一种用于执行声明式信息流控制策略的分离逻辑展开探讨。

WebKit的JavaScript字节码信息流控制

在WebKit这一生产级JavaScript引擎中，对JavaScript字节码的动态信息流控制进行了深入探索。通过对字节码及其语义进行形式化建模，并对其进行插桩处理，同时证明插桩的正确性。

在实际评估中，以一个非常保守的基线进行测试。结果显示，基本和优化后的IFC开销均小于42%，两种插桩方式的平均开销约为29%。有趣的是，优化在真实网站上的效果不如预期，这表明真实的JavaScript代码比SunSpider测试更频繁地访问堆。与通过网络获取页面并渲染所需的时间相比，这些开销可以忽略不计。启用JIT（即时编译）与基线相比会使性能变差，这意味着对于此处执行的代码，JIT并无太大作用。在JS - Bench测试中，两种插桩方式在所有测试（共23次迭代）中的平均开销约为38%。

目前正在进行的工作包括对DOM和其他原生JS方法进行插桩，并且计划将模型和非干扰定理进行泛化，以考虑Web浏览器的反应式特性。此外，设计和实现一种用于表示允许信息流的策略语言也是必要的。

分离逻辑用于执行声明式信息流控制策略

信息安全领域的一个关键挑战是如何精确地定义“意外”信息泄露的含义。许多IFC系统采用安全标签格来定义信息发布策略，并施加非干扰属性，即信