earticle

논문검색

기술

함수 기반의 체내 삽입장치용 보안 인증프로토콜 검증

원문정보

Verification of a Function-based Security Authentication Protocol for Implantable Medical Devices

배우식, 한군희

피인용수 : 0(자료제공 : 네이버학술정보)

초록

영어

Recent advancement of USN technology has lent itself to the evolving communication technology for implantable devices in the field of medical service. The wireless transmission section for communication between implantable medical devices and patients is a cause of concern over invasion of privacy, resulting from external attackers’ hacking and thus leakage of private medical information. In addition, any attempt to manipulate patients’ medical information could end up in serious medical issues. The present study proposes an authentication protocol safe against intruders’ attacks when RFID/USN technology is applied to implantable medical devices. Being safe against spoofing, information exposure and eavesdropping attacks, the proposed protocol is based on hash-function operation and adopts session keys and random numbers to prevent re-encryption. This paper verifies the security of the proposed protocol using the formal verification tool, Casper/FDR.

한국어

최근 USN 기술의 발전으로 의료기술 분야에서 서비스를 받을 수 있는 체내 삽입장치 통신기술이 많은 발 전을 하고 있다. 체내 삽입장치(Implantable Medical Device)는 환자와 장비사이에 무선으로 전송되는 구간이 있어서 외부 공격자의 해킹으로 인한 환자의 개인 의료정보 유출사고로 프라이버시 침해 발생이 우려되고 있다. 또한 환자 의 의료 정보를 조작할 경우 심각한 의료 문제가 발생할 수 있다. 본 논문에서는 체내 삽입장치에 RFID/USN 기술 을 이용할 때 공격자의 공격에 안전한 인증프로토콜을 제안한다. 해시함수 기반으로 연산하며 세션키와 난수를 도입 하여 재 암호화를 방지하고 스푸핑공격, 정보노출 및 도청공격에 안전하며 이를 증명하기 위해 정형검증 도구인 Casper/FDR 도구를 이용하여 보안성을 검증 실험하였으며 안전함이 확인되었다

목차

요약
 Abstract
 1. 서론
 2. 관련연구
  2.1 u-헬스케어
  2.2 CASPER/FDR
  2.3 Kim-Ryoo의 RFID 인증 프로토콜
  2.4 Ahn-Bu외 2명의 프로토콜
 3. 제안 프로토콜
  3.1 Casper 명세
  3.2 동작설명
 4. 실험결과
 5. 결론
 REFERENCES

저자정보

  • 배우식 WooSik Bae. 아주자동차대학
  • 한군희 KunHee Han. 백석대학교 정보통신학부

참고문헌

자료제공 : 네이버학술정보

    함께 이용한 논문

      ※ 기관로그인 시 무료 이용이 가능합니다.

      • 4,000원

      0개의 논문이 장바구니에 담겼습니다.