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

Shuming Qiu, Guosheng Xu, Haseeb Ahmad, Guoai Xu, Xinping Qiu, Hong Xu, Vol. 13, No. 2, February 27, 2019
10.3837/tiis.2019.02.027

• Elliptic Curve Cryptography
• Two-Factor
• authentication
• AVISPA
• BAN-Logic

Alavalapati Goutham Reddy, Ashok Kumar Das, Eun-Jun Yoon, Kee-Young Yoo, Vol. 10, No. 7, July 30, 2016
10.3837/tiis.2016.07.028

• Anonymity
• authentication
• key-agreement
• cryptanalysis
• multi-server
• Smartcards
• biometrics
• Security
• AVISPA.