A Formal Verification of ArpON – A Tool for Avoiding Man-in-the-Middle Attacks in Ethernet Networks
IEEE Transactions on Dependable and Secure Computing/IEEE transactions on dependable and secure computing