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

Open Webpage

Yuteng Lu, Meng Sun

Published: 01 Jan 2018, Last Modified: 25 Jan 2025Int. J. Softw. Eng. Knowl. Eng. 2018EveryoneRevisionsBibTeXCC BY-SA 4.0