DOI QR코드

DOI QR Code

Scheme for Verification Between Mobile Devices in a Service with Expiration Time by Using Zero-knowledge Proof

영지식 증명을 이용한 가입기간이 정해진 서비스에서 이동 통신 기기간 인증 기법

  • 박영훈 (삼성전자 소프트웨어 센터) ;
  • 서승우 (서울대학교 전기컴퓨터공학부)
  • Received : 2013.01.03
  • Published : 2013.03.25

Abstract

As the mobile communication technology is developed, the services for communication between the mobile devices are provided, and the amount of usage is increasing tremendously. For the device-to-device communication, the device should be verified if it is a service member. The existing verification schemes include interactions with the third party, while this may cause the problems that the bandwidth is dissipated and the devices which are out of the communication range of the base station cannot communicate with other devices. To solve such problems, we propose a new scheme for verification between mobile devices without interaction of third party. For the proposed scheme, we develop and employ a new zero-knowledge proof protocol, which verifies the device's membership and its expiration time. Furthermore, the scheme guarantees privacy of the mobile device since it checks the encrypted verification message without decrypting, and protects replaying attack since it uses challenge-response method.

이동 통신 기술이 발달함에 따라 통신 기기간의 메시지 교환이 가능한 서비스가 생겨나고, 그 사용 횟수가 폭발적으로 늘고 있다. 기기간의 통신을 위해서는 통신 기기간의 서비스 구성원이라는 인증이 선행되어야 한다. 하지만, 기존 인증 기술은 Trusted party와 같은 제 삼자와의 통신이 수반되는데, 이로 인하여 대역폭이 낭비되거나, 기지국 범위 밖의 이동 통신 기기는 기기간 통신에 참여할 수 없다는 문제점이 발생할 수 있다. 본 논문에서는 제 삼자의 개입이 없는 새로운 이동 통신 기기간 인증 기법을 소개할 것이다. 제안된 기술에 대하여, 서비스의 가입 여부 및 서비스 가입 시간을 모두 검증해야 하므로, 이를 가능하게 하는 새로운 영지식 증명 기법을 개발하여 적용할 것이다. 또한, 이 영지식 증명 기법은 인증정보를 암호화된 그대로 검증하기 때문에 증명 하고자 하는 기기의 프라이버시가 보장이 되며, 질의-응답 방식을 사용하기 때문에 다른 기기의 인증 메시지를 재사용하는 공격으로부터 보호할 수 있다.

Keywords

References

  1. 류민우, 차시호, 조국현. 2010. "이동하는 차량 간 통신의 신뢰성 향상을 위한 개선된 탐욕 메시지포워딩 프로토콜.", 전자공학회논문지-TC, 제47권, 제4호, 43-50쪽
  2. TR 22.868-800 Study on Facilitating Machine to Machine Communication in 3GPP Systems
  3. A. Sebastian, M. Tang, Y. Feng, and M. Looi, "A multicast routing scheme for ecient safety message dissemination in VANET," In Wireless Communications and Networking Conference (WCNC), 2010 IEEE, pages 1-6, Apr 2010.
  4. 최재덕, 정수환. 2008. "빠른 이동성을 지원하는 VANET 환경의 핸드오버 인증 프로토콜," 전자공학회논문지-TC, 제45권, 제5호, 30-39쪽
  5. P. Papadimitratos, L. Buttyan, T. Holczer, E. Schoch, J. Freudiger, M. Raya, Z. Ma, F. Kargl, A. Kung, and J. P. Hubaux, "Secure vehicular communication systems: design and architecture," Comm. Mag., Vol. 46, no. 11, pp. 100-109.
  6. 권창영, 이인숙, 원동호. 1993. "영지식 대화형 증명 방식 및 응용 프로토콜.", 전자공학회논문지, 제20권, 제2호, 190-203쪽
  7. D. Boneh, and M. Franklin, "Identity-based encryption from the weil pairing," SIAM J. Comput., Vol. 32, no. 3, pp. 586-615, Mar 2003. https://doi.org/10.1137/S0097539701398521
  8. X. Lin, X. Sun, P. Ho, and X. Shen. "GSIS: A secure and privacy-preserving protocol for vehicular communications," Vehicular Technology, IEEE Transactions on, Vol. 56, no. 6, pp. 3442-3456, Nov. 2007. https://doi.org/10.1109/TVT.2007.906878
  9. Y. Kawahara, T. Takagi, and E. Okamoto. "Efficient Implementation of Tate Pairing on a Mobile Phone Using Java," In Computational Intelligence and Security, Lecture Notes In Artificial Intelligence, Vol. 4456, 396-405 Springer-Verlag, Berlin, Heidelberg.
  10. S. D. Galbraith, K. Harrison, and D. Soldera. 2002. "Implementing the Tate Pairing," In Proceedings of the 5th International Symposium on Algorithmic Number Theory (ANTS-V), Claus Fieker and David R. Kohel (Eds.), 324-337 Springer-Verlag, London, UK, UK.
  11. D. Boneh, X. Boyen, and H. Shacham, "Short group signatures, " In proceedings of CRYPTO 04, pages 41-55, LNCS series, Springer-Verlag, 2004.
  12. G. Atenies, D. Song, and G. Tsudik, "Quasiefficient revocation of group signatures," in Proc. Financ. Cryptogr., Southampton, pp. 183-197, Bermuda, Mar. 2002.
  13. D. Boneh and H. Shacham, "Group signatures with verifier-local revocation," in Proc. ACM CCS, pp. 166-177, Washington DC, Oct. 2004.