A Formally Verified NAT

Zaostrovnykh, A; Pirelli, S; Pedrosa, L; Argyraki, K; Candea, G

Zaostrovnykh, A (reprint author), Ecole Polytech Fed Lausanne, Lausanne, Switzerland.

SIGCOMM '17: PROCEEDINGS OF THE 2017 CONFERENCE OF THE ACM SPECIAL INTEREST GROUP ON DATA COMMUNICATION, 2017; ( ): 141

Abstract

We present a Network Address Translator (NAT) written in C and proven to be semantically correct according to RFC 3022, as well as crash-free and memo......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索