Secure Middlebox Channel over TLS and its Resiliency against Middlebox Compromise
Kentaro Kita, Junji Takemasa, Yuki Koizumi, Toru Hasegawa
Abstract
A large portion of Internet traffic passes through middleboxes that read or modify messages. However, as more traffic is protected with TLS, middleboxes are becoming unable to provide their functions. To leverage middlebox functionality while preserving communication security, secure middlebox channel protocols have been designed as extensions of TLS. A key idea is that the endpoints explicitly incorporate middleboxes into the TLS handshake and grant each middlebox either the read or the write permission for their messages. Because each middlebox has the least data access privilege, these protocols are resilient against the compromise of a single middlebox. However, the existing studies have not comprehensively analyzed the communication security under the scenarios where multiple middleboxes are compromised. In this paper, we present novel attacks that break the security of the existing protocols under such scenarios and then modify maTLS, the state-of-the-art protocol, so that all the attacks are prevented with marginal overhead.
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Your agent calls
Lunesearch_papers
Free to start. No credit card required.
Terminal
Install the CLIlune papers get cfabc281-86a8-43a0-8ed6-1fe3ad430742Related papers
- maTLS: How to Make TLS middlebox-aware?Hyunwoo Lee, Zach Smith, Junghwan Lim, Gyeongjae Choi et al.NDSS 2019 · 38 citations
- A Formal Treatment of Accountable Proxying Over TLSKarthikeyan Bhargavan, Ioana Boureanu, Antoine Delignat-Lavaud, Pierre-Alain Fouque et al.S&P 2018 · 30 citations
- mmTLS: Scaling the Performance of Encrypted Network Traffic InspectionJunghan Yoon, Seunghyun Do, Duckwoo Kim, Taejoong Chung et al.USENIX ATC 2024 · 6 citations
- Downgrade Resilience in Key-Exchange ProtocolsKarthikeyan Bhargavan, Christina Brzuska, Cédric Fournet, Matthew Green et al.S&P 2016 · 54 citations
- Zero-Knowledge MiddleboxesPaul Grubbs, Arasu Arun, Ye Zhang, Joseph Bonneau et al.USENIX Security 2022
