Login / Signup
A Formal Verification of ArpON - A Tool for Avoiding Man-in-the-Middle Attacks in Ethernet Networks.
Danilo Bruschi
Andrea Di Pasquale
Silvio Ghilardi
Andrea Lanzi
Elena Pagani
Published in:
IEEE Trans. Dependable Secur. Comput. (2022)
Keyphrases
</>
formal verification
model checking
automated verification
model checker
bounded model checking
program slicing
symbolic model checking
temporal logic
cellular networks
artificial intelligence
data acquisition
complex networks
formal specification
countermeasures
traffic analysis
internet protocol