Design and Formal Analysis of a Lightweight MIPv6 Authentication Scheme.

Daojing He Xintong Lu Xuru Li Sammy Chan Mohsen Guizani

Published in: IEEE Internet Things J. (2022)

Keyphrases

lightweight
formal analysis
authentication scheme
authentication protocol
design process
building blocks
knowledge based systems
cost effective
smart card
formal methods
development environments
ban logic