한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

정형기법을 이용한 M2M 보안 프로토콜의 안전성 검증

Formal verification of M2M security protocols

  • 김영진 (고려대학교 컴퓨터 전파통신공학과) ;
  • 강미영 (고려대학교 컴퓨터 전파통신공학과) ;
  • 이신재 (고려대학교 컴퓨터 전파통신공학과) ;
  • 최진영 (고려대학교 컴퓨터 전파통신공학과)
  • Kim, Young-Jin (Dept. of Computer and Radio Communications Engineering, Korea University) ;
  • Kang, Mi-Young (Dept. of Computer and Radio Communications Engineering, Korea University) ;
  • Lee, Sin-Jae (Graduate School of Convergence IT, Korea University) ;
  • Choi, Jin-Young (Dept. of Computer and Radio Communications Engineering, Korea University)
  • 발행 : 2011.06.29

⟨ 이전 논문 다음 논문 ⟩

초록

미래 산업으로서 주목받고 있는 M2M(사물지능통신)은 IT 기술, 이동통신, 무선기술 그리고 기기의 발전을 통해 많은 기술 연구가 진행되고 있다. 사람의 개입 없이 이루어지는 M2M 통신환경은 데이터 노출, 도용, 프라이버시 문제 등 여러 가지 보안 위협에 쉽게 노출될 수 있는 가능성이 존재하기 때문에 보안 표준과 안전한 통신 프로토콜 기술개발이 중요하다. 본 논문에서는 디바이스의 정보를 서버에 저장하지 않아 공격자가 서버의 공격을 통해 저장된 값을 알아내더라도 디바이스의 정보가 노출되지 않고 디바이스와 서버간의 안전한 통신을 할 수 있는 M2M 보안프로토콜을 제안하고 정형검증 도구를 이용하여 안전성을 분석하였다.

키워드

과제정보

연구 과제 주관 기관 : 정보통신산업진흥원