Formal Analysis of SA-TEK 3-Way Handshake Protocols
Sign Up to like & getrecommendations! Published in 2021 at "Journal of Shanghai Jiaotong University (Science)"
DOI: 10.1007/s12204-021-2340-2
Abstract: IEEE 802.16 is the standard for broadband wireless access. The security sublayer is provided within IEEE 802.16 MAC layer for privacy and access control, in which the privacy and key management (PKM) protocols are specified.… read more here.
Keywords: way handshake; formal analysis; analysis; tek way ... See more keywords