Earticle

초록

영어

In parallel with evolving information communication technology, M2M(Machine-to-Machine) industry has implemented multi-functional and high-performance systems, and made great strides with IoT(Internet of Things) and IoE(Internet of Everything). Authentication, confidentiality, anonymity, non-repudiation, data reliability, connectionless and traceability are prerequisites for communication security. Yet, the wireless transmission section in M2M communication is exposed to intruders’ attacks. Any security issues attributable to M2M wireless communication protocols may lead to serious concerns including system faults, information leakage and privacy challenges. Therefore, mutual authentication and security are key components of protocol design. Recently, secure communication protocols have been regarded as highly important and explored as such. The present paper draws on hash function, random numbers, secret keys and session keys to design a secure communication protocol. Also, this paper tests the proposed protocol with a formal verification tool, Casper/FDR, to demonstrate its security against a range of intruders’ attacks. In brief, the proposed protocol meets the security requirements, addressing the challenges without any problems.

한국어

최근 정보통신 기술의 발전과 함께 M2M(Machine-to-Machine) 산업분야의 시스템이 다기능 고성능화 되고 있으며 IoT(Internet of Things), IoE(Internet of Everything)기술 등과 함께 많은 발전해가고 있다. 통신상 보안적인 서 비스를 제공하기 위해서는 인증, 기밀성, 익명성, 부인방지, 데이터신뢰성, 비연결성, 추적성 등이 충족 되어야 한다. 그러나 통신방식이 무선 전송구간에서는 공격자의 공격에 노출되어 있다. M2M 무선통신 프로토콜에서 보안상 문제 가 생기면 시스템오류, 정보유출, 프라이버시문제 등의 심각한 상황이 발생할 수 있다. 따라서 프로토콜 설계는 상호 인증과 보안이 필수적인 요소이며, 최근 보안통신프로토콜에 대한 분야가 매우 중요한 부분으로 연구되고 있다. 본 논문에서는 안전한 통신프로토콜을 위해 해시함수, 난수, 비밀키 및 세션키를 적용하여 설계하였다. 제안 프로토콜이 공격자의 각종공격에 안전함을 증명하기 위해 프로토콜 정형검증도구인 Casper/FDR 도구를 이용하여 실험하였다. 실 험결과 제안프로토콜은 안전성을 충족했으며 문제없이 종료됨을 확인하였다.

목차

요약
 Abstract
 1. 서론
 2. 관련연구
  2.1 M2M 통신의 구조 및 보안위협
  2.2 해시락 프로토콜의 취약점
 3. 제안 프로토콜
  3.1 동작설명
 4. 실험결과
 5. 결론
 ACKNOWLEDGMENTS
 REFERENCES

키워드

M2M 보안 프로토콜 보안시스템 인증프로토콜 보안통신인증 모델검증 Casper Security protocal Security M2M protocol Casper Security authentication Model Checking

저자

• 한군희 [ Kun-Hee Han | 백석대학교 정보통신학부 ]
• 배우식 [ WooSik Bae | 아주자동차대학 ] Corresponding Author

참고문헌

발행기관

간행물