선택한 단어 수는 입니다.
최소 단어 이상 선택하여야 합니다.
최소 단어 이상 선택하여야 합니다.
선택한 단어 수는 30입니다.
최대 10 단어까지만 선택 가능합니다.
최대 10 단어까지만 선택 가능합니다.
문제 정의
- 보안성 분석은 주어진 프로토콜이 정상적으로 상호인증을 이끌어 내는지와 사용되는 비밀키가 공격자에게 노출되지 않는지에 대해서 검증하고자 한다.
- 것을 알 수 있다. 보얀성 검증은 동일하게 비밀키의 비밀성과 이를 이용한 효과적인 상호 인증 가능 여부에 대해서 실시하였다.
- 본 논문에서는 기존에 제안된 프로토콜들의 보안적 취약점을 분석하고, 문제점을 수정한 프로토콜을 제안하고자 한다. 또한 설계된 프로토콜의 보안성을 직관적인 방법을 사용하여 보안성을 분석한 기존의 프로토콜들과는 달리, 정형기법을 사용하여 제안 프로토콜의 보안성을 정형적으로 분석하고자 한다.
- 본 논문에서는 모델체킹이라는 정형기법을 사용하여 프로토콜의 보안성을 검증하였다. 모델체킹은 정형적으로 명세된 시스템을 모델체킹 툴에 입력하여, 시스템이 도달할 수 있는 모든 상태(State)에 의도적으로 도달하게 하여, 원하지 않는 상태로의 도달 여부에 대해 확인하고, 그럴 경우 어떠한 방법으로 도달하게 되는지 반례를 보여주는 방법론이다.
- GNY 1_。이c[3] 등을 통한 정리증명과 S이N, SMV 또는 FDR 등을 이용한 모델체킹 등 다양한 방법들이 있으나, 본 논문에서는 CSP 언어로 명세하고, FDR을 사용하여 모델체킹을 실시하여 보안 취약점 존재여부를 확인하고, 확인된 취약점율 보완한 프로토콜율 제안하고자 한다.
가설 설정
- . 자료의 비밀성 - 태Z1 관련 자료는 악의적인 공격자에게 노출되어서는 안 된다
- . 자료의 익명성 - 프로토콜에서 사용되는 자료에 의해 태그가 추적되어서는 안 된다
- 주어진 프로토콜은 RFID 기술이 계속적으로 개발되고 있는 시점에서 볼 때 아직은 중간자 공격과 같은 강력한 공격이 현실적으로 불가능하다고 가정하고, 감청 공격과 같은 수동적인 공격을 전제로 하여 설계되었다. 그러한 이유로 Ari Ju이s가 제시한 보안 프로토콜은 다음과 같은 2가지 가정을 기본 전제로 하고 있다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.