Petri Net Model of MITM Attack Based on NDP Protocol. - Liumei Zhang; Yu Han; Yichuan Wang; Ruiqin Quan (NaNA, 2022)