Analysis and design of a smart card based authentication protocol
暂无分享,去创建一个
[1] Sebastian Mödersheim,et al. OFMC: A symbolic model checker for security protocols , 2005, International Journal of Information Security.
[2] Chin-Chen Chang,et al. An efficient and secure multi-server password authentication scheme using smart cards , 2004, 2004 International Conference on Cyberworlds.
[3] Sebastian Mödersheim,et al. The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications , 2005, CAV.
[4] Min-Shiang Hwang,et al. A new remote user authentication scheme for multi-server architecture , 2003, Future Gener. Comput. Syst..
[5] Jiann-Fu Lin,et al. An efficient and complete remote user authentication scheme using smart cards , 2006, Math. Comput. Model..
[6] Chinchen Chang,et al. A ROBUST AND EFFICIENT SMART CARD BASED REMOTE LOGIN MECHANISM FOR MULTI-SERVER ARCHITECTURE , 2011 .
[7] Yeong-Lin Lai,et al. A smart card-based mobile secure transaction system for medical treatment examination reports , 2011 .
[8] Mathieu Turuani,et al. The CL-Atse Protocol Analyser , 2006, RTA.
[9] Wen-Shenq Juang,et al. Efficient multi-server password authenticated key agreement using smart cards , 2004, IEEE Transactions on Consumer Electronics.
[10] HanCheng Hsiang,et al. A Robust Authentication Protocol for Multi-Server Architecture without Smart Cards , 2013 .
[11] Martín Abadi,et al. A logic of authentication , 1990, TOCS.
[12] Martín Abadi,et al. A logic of authentication , 1989, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.
[13] Alessandro Armando,et al. SATMC: a SAT-based model checker for security protocols, business processes, and security APIs , 2004, International Journal on Software Tools for Technology Transfer.
[14] Chin-Chen Chang,et al. An Anonymous and Self-Verified Mobile Authentication with Authenticated Key Agreement for Large-Scale Wireless Networks , 2010, IEEE Transactions on Wireless Communications.