Title | ||
---|---|---|
Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking - A Case Study -. |
Abstract | ||
---|---|---|
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. |
Year | Venue | Field |
---|---|---|
2017 | IFM | Internet Protocol,Man-in-the-middle attack,Model checking,Denial-of-service attack,Computer science,Address Resolution Protocol,Formal verification,Distributed computing,Satisfiability modulo theories |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
11 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Danilo Bruschi | 1 | 771 | 70.35 |
andrea di pasquale | 2 | 4 | 1.19 |
Silvio Ghilardi | 3 | 990 | 86.49 |
Andrea Lanzi | 4 | 845 | 40.99 |
Elena Pagani | 5 | 315 | 62.10 |