Abstract
In recently years, intelligent manufacturing system is getting grown up. There are many manufacturing vendors that investigate to develop their intelligent manufacturing systems in their product line. Our government also promotes some cities of mid Taiwan to become intelligent cities in the future. However, we discover that there are no such stand cryptography modules or security modules in these systems and there are a lot of papers that indicated security problems in intelligent manufacturing system. When a legimate user attempts to login an intelligent manufacturing system, an attacker may pretend as a legal server to perform mutual authentication with this user. On one hand, the server also faced the same problem. That is called the men-in-the-middle problem. On the other hand, an attacker may lunch software to capture some users’ login passwords. If a user’s login password does not to be protected by security mechanisms of the intelligent manufacturing system, the attacker may login this system with captured passwords successfully and fetch secret data in advance. Besides, there are no such provable user authentication schemes for the intelligent manufacturing system in random oracle model. Due to above problems, we proposed a secure user authentication scheme for intelligent manufacturing system. Not only this scheme does not store each user’s password in its database table, but also each user can change his/her own password after logging in successfully. Finally, we also give formal security proof in the random oracle model of the full version of this paper.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Sohn, Y., Cho, M., On, G., Chae, K.: A secure user authentication method in networked intelligent manufacturing systems. In: Proceedings of International Conference on Cyberworlds (CW 2005), pp. 122–129 (2005)
Fan, C.I., Ho, P.H., Hsu, R.H.: Provably secure nested one-time secret mechanisms for fast mutual authentication and key exchange in mobile communications. IEEE/ACM Trans. Networking 18(3), 996–1009 (2010)
Bellare, M., Rogaway, P.: Entity authentication and key distribution. In: Stinson, D.R. (ed.) CRYPTO 1993. LNCS, vol. 773, pp. 232–249. Springer, Heidelberg (1994). https://doi.org/10.1007/3-540-48329-2_21
Bellare, M., Canetti, R., Krawczyk, H.: A modular approach to the design and analysis of authentication and key-exchange protocols. In: Proceedings of the Thirtieth Annual ACM Symposium on Theory of Computing, pp. 419–428 (1998)
Fan, C.I., Chan, Y.C., Zhang, Z.K.: Robust remote authentication scheme with smart cards. Comput. Secur. 24(8), 619–628 (2005)
Juang, W.S., Wu, J.L.: Two efficient two-factor authenticated key exchange protocols in public wireless LANs. Comput. Electr. Eng. 35(1), 33–40 (2009)
Fan, C.I., Lin, Y.H.: Provably secure remote truly three-factor authentication schemes with privacy protection on biometrics. IEEE Trans. Inf. Forensics Secur. 4(4), 933–945 (2009)
Al-Riyami, S.S., Paterson, K.G.: Certificateless public key cryptography. In: Laih, C.-S. (ed.) ASIACRYPT 2003. LNCS, vol. 2894, pp. 452–473. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-540-40061-5_29
Girault, M.: Self-certified public keys. In: Davies, D.W. (ed.) EUROCRYPT 1991. LNCS, vol. 547, pp. 490–497. Springer, Heidelberg (1991). https://doi.org/10.1007/3-540-46416-6_42
Hu, B.C., Wong, D.S., Zhang, Z., Deng, X.: Certificateless signature: a new security model and an improved generic construction. Des. Codes Crypt. 42(2), 109–126 (2007)
Shamir, A.: Identity-based cryptosystems and signature schemes. In: Blakley, G.R., Chaum, D. (eds.) CRYPTO 1984. LNCS, vol. 196, pp. 47–53. Springer, Heidelberg (1985). https://doi.org/10.1007/3-540-39568-7_5
Boneh, D., Franklin, M.: Identity-based encryption from the weil pairing. In: Kilian, J. (ed.) CRYPTO 2001. LNCS, vol. 2139, pp. 213–229. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-44647-8_13
Juels, A., Kaliski, B.S.: PORs: proofs of retrievability for large files. In: Proceedings of CCS 2007, pp. 584–597 (2007)
Shacham, H., Waters, B.: Compact proofs of retrievability. In: Pieprzyk, J. (ed.) ASIACRYPT 2008. LNCS, vol. 5350, pp. 90–107. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-89255-7_7
Mell, P., Grance, T.: Effectively and securely using the cloud computing paradigm. In: NIST (2009)
Morariu, C., Morariu, O., Borangiu, T.: Security issues in service oriented manufacturing architectures with distributed intelligence. In: Borangiu, T., Trentesaux, D., Thomas, A., McFarlane, D. (eds.) Service Orientation in Holonic and Multi-Agent Manufacturing. SCI, vol. 640, pp. 243–263. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-30337-6_23
Chhetri, S.R., Rashid, N., Faezi, S., Al. Faruque, M.A.: Security trends and advances in manufacturing systems in the era of industry 4.0. In: Proceedings of IEEE/ACM International Conference on Computer-Aided Design (ICCAD), pp. 1039–1046 (2017)
Zhang, H., Nian, P., Chen, Y.: Intelligent manufacturing: the core leads industrial change in the future. In: Proceedings of 4th International Conference on Industrial Economics System and Industrial Security Engineering (IEIS), pp. 1–5 (2017)
Liu, Z., Liu, J.: Reliability evaluation of intelligent manufacturing equipment. In: Proceedings of 11th International Conference on Natural Computation (ICNC), pp. 108–112 (2015)
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Chen, MT., Liu, HY., Lai, CH., Wang, WS., Huang, CY. (2019). A Secure User Authenticated Scheme in Intelligent Manufacturing System. In: Chang, CY., Lin, CC., Lin, HH. (eds) New Trends in Computer Technologies and Applications. ICS 2018. Communications in Computer and Information Science, vol 1013. Springer, Singapore. https://doi.org/10.1007/978-981-13-9190-3_60
Download citation
DOI: https://doi.org/10.1007/978-981-13-9190-3_60
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-13-9189-7
Online ISBN: 978-981-13-9190-3
eBook Packages: Computer ScienceComputer Science (R0)