Bulwark：Web 协议的整体化与可验证安全监控
密码学与安全
2021-01-18 v1
摘要
现代 Web 应用通常依赖第三方服务向用户提供功能。如针对单点登录和收银即服务（Cashier-as-a-Service）协议的大量攻击所示，这些服务的安全集成是一项非平凡的任务。本文中我们提出 Bulwark，一种从 Web 协议的应用 pi 演算规范自动生成形式化可验证安全监控器的新工具。Bulwark 生成的安全监控器提供整体保护，因为它们可轻松部署在客户端和服务器端，从而确保针对 Web 协议的攻击面的完全可见性。我们通过将 Bulwark 针对使用 OAuth 2.0 协议或集成 PayPal 支付系统的脆弱 Web 应用池进行测试来评估其有效性。
引用
@article{arxiv.2101.06043,
title = {Bulwark: Holistic and Verified Security Monitoring of Web Protocols},
author = {Lorenzo Veronese and Stefano Calzavara and Luca Compagna},
journal= {arXiv preprint arXiv:2101.06043},
year = {2021}
}
备注
Full version of the paper presented at ESORICS2020 (14-18 September 2020)