Login / Signup

Modeling and Verification of IEEE 802.11i Security Protocol in UPPAAL for Internet of Things.

Yuteng LuMeng 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