Security analysis of network protocols through model checking: a case study on mobile IPv6.

Zohreh Saffarian Eidgahi Vahid Rafe

Published in: Secur. Commun. Networks (2016)

Keyphrases

model checking
security analysis
network protocols
public key
security requirements
smart card
formal methods
wireless mesh networks
mobile networks
smart grid
real time
information systems
low cost
end to end
information security
ad hoc networks