Jiping Li, Yuanyuan Zhang, Lixiang Shen, Jing Cao, Wenwu Xie, Yi Zheng, Shouyin Liu, Vol. 18, No. 3, March 31, 2024
10.3837/tiis.2024.03.015

• Mutual Authentication
• Session key negotiation
• Wireless Sensor Networks
• AVISPA
• ROR model