Login / Signup
Modeling and Formal Verification of the Ticket-Based Handoff Authentication Protocol for Wireless Mesh Networks.
Zahra Ebadi Ansaroudi
Saeid Pashazadeh
Published in:
I-SPAN (2019)
Keyphrases
</>
formal verification
authentication protocol
wireless mesh networks
wireless networks
model checking
security analysis
public key
security protocols
lightweight
rfid tags
digital libraries
ad hoc networks
mobility management