Xiaoxue Liu, Yanping Li, Juan Qu, Yong Ding, Vol. 11, No. 2, February 27, 2017
10.3837/tiis.2017.02.016

• multi-medical server
• privacy-preserving
• authentication
• BAN logic

Jung-San Lee, Kuo-Jui Wei, Ying-Chin Chen, Yun-Hsiang Sun, Vol. 10, No. 12, December 30, 2016
10.3837/tiis.2016.12.025

• Electronic auction
• sealed-bid auction
• dynamic identity
• BAN logic
• Anonymity

Saru Kumari, Xiong Li, Fan Wu, Ashok Kumar Das, Vanga Odelu, Muhammad Khurram Khan, Vol. 10, No. 9, September 29, 2016
10.3837/tiis.2016.09.026

• Guessing and Impersonation attacks
• authentication
• Forward Secrecy
• BAN Logic.