Login / Signup
Modeling and Verification of IEEE 802.11i Security Protocol in UPPAAL for Internet of Things.
Yuteng Lu
Meng Sun
Published in:
Int. J. Softw. Eng. Knowl. Eng. (2018)
Keyphrases
</>
security protocols
model checking
automated design
model checker
low cost
peer to peer
formal methods