초록 ▼

용어보기논문에서 용어와 풀이말을 자동 추출한 결과로, 시범 서비스 중입니다. AI-Helper

신체 이식형 의료기기(IMD)는 환자의 삶의 질을 개선하기 위해 개발된 기술로 의료 분야
및 비의료 분야 모두에서 중요한 역할을 수행하고 있다. IMD의 수요는 2020년 글로벌 기준
860억 US$ 이상을 넘어섰고, 2027년까지 미국에서만 42.5% 이상 성장할 것으로 예상되며
IMD기기의 사용이 큰 폭으로 증가되고 있는 추세이다. 이러한 전망은 미래 IMD가 우리 생
활의 필수품이 될 것이라는 것을 보여주는 반면 IMD 및 외부 장치들로부터 연결로 인하여
개인 정보 와 사생활 등을 침범할 수 있는 민감한 정보들의 유출 문제가 발생되어 환자의
생명을 위험에 빠뜨릴 수도 있다.
그러므로 IMD의 안전을 유지하는 한 가지 방법으로 IMD와 외부 장치 사이에 강력한
인증 기법을 설치하는 것으로 그동안 이와 관련된 많은 인증기법들이 제안되어 왔지만 대부
분의 인증기법들은 다음과 같은 해결해야 할 세가지 치명적인 문제점을 가지고 있다. 첫번째,
긴급 인증, 키 업데이트 메커니즘 그리고 익명성 및 적응성과 같은 중요한 역할의 부재이
며. 두번째로는 과도한 계산 및 통신 오버헤드이며, 마지막으로 엄격한 ...

신체 이식형 의료기기(IMD)는 환자의 삶의 질을 개선하기 위해 개발된 기술로 의료 분야
및 비의료 분야 모두에서 중요한 역할을 수행하고 있다. IMD의 수요는 2020년 글로벌 기준
860억 US$ 이상을 넘어섰고, 2027년까지 미국에서만 42.5% 이상 성장할 것으로 예상되며
IMD기기의 사용이 큰 폭으로 증가되고 있는 추세이다. 이러한 전망은 미래 IMD가 우리 생
활의 필수품이 될 것이라는 것을 보여주는 반면 IMD 및 외부 장치들로부터 연결로 인하여
개인 정보 와 사생활 등을 침범할 수 있는 민감한 정보들의 유출 문제가 발생되어 환자의
생명을 위험에 빠뜨릴 수도 있다.
그러므로 IMD의 안전을 유지하는 한 가지 방법으로 IMD와 외부 장치 사이에 강력한
인증 기법을 설치하는 것으로 그동안 이와 관련된 많은 인증기법들이 제안되어 왔지만 대부
분의 인증기법들은 다음과 같은 해결해야 할 세가지 치명적인 문제점을 가지고 있다. 첫번째,
긴급 인증, 키 업데이트 메커니즘 그리고 익명성 및 적응성과 같은 중요한 역할의 부재이
며. 두번째로는 과도한 계산 및 통신 오버헤드이며, 마지막으로 엄격한 정형화 보안 검증의
결여이다.
따라서 본 연구에서는 기존 제안된 7가지 인증 프로토콜들이 가지고 있는 각각의 보안
특성들을 철저하게 분석하고 Avispa와 Ban-Logic과 같은 정형화 검증 기법을 활용하여 각
인증 프로토콜 별로 보안 강도(security strength), 계산 오버헤드(computational overheads),
지연 시간(latency) 그리고 긴급 인증 및 키 업데이트 메커니즘과 같은 기타 중요한 기능들을
비교 하여 보안 검증을 수행하였다.

주제어