Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking - A Case Study -

Danilo Bruschi,Andrea Di Pasquale,Silvio Ghilardi,Andrea Lanzi,Elena Pagani

IFM（2017）

引用 26|浏览51

暂无评分

摘要

Internet protocols are intrinsically complex to understand and validate, due both to the potentially unbounded number of entities involved, and to the complexity of interactions amongst them. Yet, their safety is indispensable to guarantee the proper behavior of a number of critical applications.

查看译文

关键词

ARP,Man-in-the-Middle attack,Denial-of-Service attack,Formal verification,Model evaluation,Satisfiability Modulo Theories

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要