SPIN-Based Verification of Authentication Protocols in WiMAX Networks.

Beth N. Komu Mjumo Mzyece Karim Djouani

Published in: VTC Fall (2012)

Keyphrases

authentication protocol
cryptographic protocols
lightweight
network structure
security analysis
formal verification
smart card
resource management
public key
secret key
supply chain
e government
model checking
ban logic