As Wireless Mesh Networks (WMNs) are growing day-by-day, a seamless and secure handoff is gaining significant importance for supporting multi-hop WMNs. On this point, various authentication protocols, such as the ticket-based handoff authentication, for wireless mesh networks have been proposed. Modeling and formal verification of the aforementioned protocol using CPN Tools and ASK-CTL statement are the purposes of this paper. To this aim, the resistance of the protocol against attacks, such as the man in the middle attack is investigated and then, it is concluded that it is secure.
CITATION STYLE
Ansaroudi, Z. E., & Pashazadeh, S. (2019). Modeling and Formal Verification of the Ticket-Based Handoff Authentication Protocol for Wireless Mesh Networks. In Communications in Computer and Information Science (Vol. 1080 CCIS, pp. 140–154). Springer. https://doi.org/10.1007/978-3-030-30143-9_12
Mendeley helps you to discover research relevant for your work.