Automatic vulnerability checking of IEEE 802.16 WiMAX protocols through TLA+

Prasad Narayana*, Ruiming Chen, Yao Zhao, Yan Chen, Zhi Fu, Hai Zhou

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

16 Scopus citations

Fingerprint

Dive into the research topics of 'Automatic vulnerability checking of IEEE 802.16 WiMAX protocols through TLA+'. Together they form a unique fingerprint.

Computer Science

INIS